{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:04:44Z","timestamp":1774915484898,"version":"3.50.1"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100007751","name":"AGH University of Science and Technology","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007751","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001942","name":"PACMEL Project funded by the National Science Centre, Poland, through the CHIST-ERA Program","doi-asserted-by":"publisher","award":["NCN 2018\/27\/Z\/ST6\/03392"],"award-info":[{"award-number":["NCN 2018\/27\/Z\/ST6\/03392"]}],"id":[{"id":"10.13039\/501100001942","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/access.2023.3281304","type":"journal-article","created":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T17:39:49Z","timestamp":1685381989000},"page":"54495-54508","source":"Crossref","is-referenced-by-count":6,"title":["Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0315-5636","authenticated-orcid":false,"given":"Edyta","family":"Brzychczy","sequence":"first","affiliation":[{"name":"Faculty of Mechanical Engineering and Robotics, AGH University of Science and Technology, Kraków, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4925-3271","authenticated-orcid":false,"given":"Marcin","family":"Szpyrka","sequence":"additional","affiliation":[{"name":"Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland"}]},{"given":"Jacek","family":"Korski","sequence":"additional","affiliation":[{"name":"ITG KOMAG Institute, Gliwice, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8182-4225","authenticated-orcid":false,"given":"Grzegorz J.","family":"Nalepa","sequence":"additional","affiliation":[{"name":"Faculty of Physics, Astronomy and Applied Computer Science, Institute of Applied Computer Science, Jagiellonian University, Kraków, Poland"}]}],"member":"263","reference":[{"key":"ref13","first-page":"162","article-title":"From declarative processes to imperative models","volume":"1293","author":"prescher","year":"2014","journal-title":"Proc 4th Int Symp Data-driven Process Discovery Anal in CEUR Workshop Proceedings"},{"key":"ref12","first-page":"19","article-title":"Handling events during business process execution: An empirical test","volume":"603","author":"weber","year":"2010","journal-title":"Proc 1st Int Workshop Empirical Res Process-Oriented Inf Syst in CEUR Workshop Proceedings"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28108-2_37"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2629447"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2022.3151695"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref19","first-page":"667","article-title":"Malware behavior modelling with colored Petri nets","volume":"8838","author":"jasiul","year":"2014","journal-title":"Proc 13th Comput Inf Syst Ind Manag"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1515\/acsc-2016-0019"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03496-2_7"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICPM49681.2020.00027"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06257-0_6"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2018.2841877"},{"key":"ref48","first-page":"60","article-title":"XES, XESame, and ProM 6","volume":"72","author":"verbeek","year":"2010","journal-title":"Information Systems Evolution (Lecture Notes in Business Information Processing)"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59536-8_34"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30729-4_23"},{"key":"ref41","article-title":"Aligning observed and modeled behavior","author":"adriansyah","year":"2014"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19237-6_10"},{"key":"ref43","article-title":"Conformance checking of mixed-paradigm process models","author":"van dongen","year":"2020","journal-title":"arXiv 2011 11551"},{"key":"ref49","first-page":"270","article-title":"Efficient discovery of understandable declarative process models from event logs","author":"maggi","year":"2012","journal-title":"Advanced Information Systems Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1346"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01862-6_29"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3390\/en13246630"},{"key":"ref3","author":"carmona","year":"2018","journal-title":"Conformance Checking Relating Processes and Models"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85469-0_3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40176-3_26"},{"key":"ref40","article-title":"Behavioural profiles: A relational approach to behaviour consistency","author":"weidlich","year":"2011"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01391-2_24"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12186-9_45"},{"key":"ref37","first-page":"607","article-title":"Scalable conformance checking of business processes","author":"rei\u00dfner","year":"2017","journal-title":"Proc OTM Confederated Int Conf ‘Move Meaningful Internet Syst ’"},{"key":"ref36","article-title":"Imperative versus declarative process mining: An empirical comparison","author":"back","year":"2020"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44860-1_2"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32885-5_24"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2018.00017"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22885-3_9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2016.18"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.07.001"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45348-4_10"},{"key":"ref24","first-page":"59","article-title":"Declarative event-based workflow as distributed dynamic condition response graphs","volume":"69","author":"hildebrandt","year":"2010","journal-title":"Proc 3rd Workshop Program Lang Approaches Concurrency Commun -Entric Softw"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2009.02.009"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48472-3_32"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42887-1_2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-009-0057-9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_2"},{"key":"ref21","first-page":"1","article-title":"Declare: A tool suite for declarative workflow modeling and enactment","volume":"820","author":"westergaard","year":"2011","journal-title":"Proc Demo Track 9th Conf Bus Process Manage"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19069-3_6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s13740-020-00112-9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.09.006"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10005208\/10138387.pdf?arnumber=10138387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T16:18:39Z","timestamp":1686327519000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10138387\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":51,"URL":"https:\/\/doi.org\/10.1109\/access.2023.3281304","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}