{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:53:30Z","timestamp":1762325610986,"version":"build-2065373602"},"reference-count":54,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T00:00:00Z","timestamp":1760918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T00:00:00Z","timestamp":1760918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,20]]},"DOI":"10.1109\/icpm66919.2025.11220671","type":"proceedings-article","created":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T18:34:15Z","timestamp":1762281255000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Discovering Automata Models Tailored for the Control of Discrete Event Systems"],"prefix":"10.1109","author":[{"given":"Rosaine F.","family":"Semler","sequence":"first","affiliation":[{"name":"UTFPR,Graduate Program in Electrical Engineering and Industrial Informatics,Curitiba,Brazil"}]},{"given":"Jhonnatan R.","family":"Semler","sequence":"additional","affiliation":[{"name":"UTFPR,Graduate Program in Electrical Engineering and Industrial Informatics,Curitiba,Brazil"}]},{"given":"Marco A.","family":"Wehrmeister","sequence":"additional","affiliation":[{"name":"UTFPR,Graduate Program in Electrical Engineering and Industrial Informatics,Curitiba,Brazil"}]},{"given":"Luiz F. P.","family":"Southier","sequence":"additional","affiliation":[{"name":"UTFPR,Graduate Program in Electrical and Computer Engineering,Pato Branco,Brazil"}]},{"given":"C\u00e9sar A.","family":"Uribe","sequence":"additional","affiliation":[{"name":"Rice University,Department of Electrical and Computer Engineering,Houston,USA"}]},{"given":"Jos\u00e9 E. R.","family":"Cury","sequence":"additional","affiliation":[{"name":"UTFPR,Graduate Program in Electrical and Computer Engineering,Pato Branco,Brazil"}]},{"given":"Marcelo","family":"Teixeira","sequence":"additional","affiliation":[{"name":"UTFPR,Graduate Program in Electrical and Computer Engineering,Pato Branco,Brazil"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/j.jmsy.2016.03.001"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/MC.2021.3134934"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/978-0-387-68612-7"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-031-08166-8_5"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/5.21072"},{"key":"ref6","first-page":"123456","article-title":"Modeling and control of Discrete Event Systems: A petri net perspective","volume":"8","author":"Golaszewski","year":"2020","journal-title":"IEEE Access"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/WSC.2015.7408344"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/j.compind.2015.02.009"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/WSC40007.2019.9004702"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/j.ifacol.2018.06.295"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/j.jmsy.2021.01.005"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/OJIES.2024.3406059"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1016\/0304-3975(93)90287-4"},{"author":"C. P","journal-title":"GitHub repository, 2025, a Python library for working with automata theory objects","article-title":"automata-lib, v. 8.4.0","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.3182\/20050703-6-CZ-1902.01440"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/j.conengprac.2011.02.008"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1016\/j.conengprac.2019.07.019"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/s40313-025-01168-3"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1016\/j.conengprac.2023.105474"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/978-3-319-06880-0_20"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.4204\/EPTCS.371.1"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/CDC.2013.6760732"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/2431211.2431218"},{"key":"ref24","article-title":"Process mining: extending the alpha-algorithm to mine short loops","volume":"113","author":"De Medeiros","year":"2004","journal-title":"BETA publicatie: working papers"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/TKDE.2004.47"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1007\/s10618-007-0065-y"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1007\/978-3-319-23063-4_7"},{"volume":"166","author":"Weijters","article-title":"Process Mining with the Heuristics Miner-algorithm, ser. BETA publicatie: working papers","key":"ref28"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1142\/S0218843014400012"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.3233\/FI-2009-136"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/s00607-017-0582-5"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/978-3-642-38697-8_17"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/ICDM.2017.9"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1016\/j.cirpj.2018.12.002"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1016\/j.jmsy.2018.04.006"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1109\/EDOC.2016.7579385"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1016\/j.jmsy.2020.06.003"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1007\/978-3-030-53337-3_19"},{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/TSMCA.2011.2170418"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1016\/j.engappai.2023.106853"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1109\/TASE.2015.2445332"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1007\/978-3-662-47967-4"},{"key":"ref43","article-title":"Synthesising elementary net systems with interval order semantics","volume-title":"ATAED\/PN4TT@Petri Nets","author":"Pietkiewicz-Koutny","year":"2023"},{"doi-asserted-by":"publisher","key":"ref44","DOI":"10.1016\/j.is.2023.102180"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1145\/3672447"},{"author":"Semler","article-title":"DES-MD website","key":"ref46"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1016\/j.asoc.2010.04.025"},{"doi-asserted-by":"publisher","key":"ref48","DOI":"10.1016\/j.is.2012.02.004"},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1007\/978-3-642-15618-2_16"},{"doi-asserted-by":"publisher","key":"ref50","DOI":"10.1214\/aoms\/117773194"},{"doi-asserted-by":"publisher","key":"ref51","DOI":"10.2307\/2282330"},{"doi-asserted-by":"publisher","key":"ref52","DOI":"10.1016\/j.dss.2017.04.005"},{"doi-asserted-by":"publisher","key":"ref53","DOI":"10.1080\/03610928008827904"},{"doi-asserted-by":"publisher","key":"ref54","DOI":"10.1109\/TKDE.2018.2841877"}],"event":{"name":"2025 7th International Conference on Process Mining (ICPM)","start":{"date-parts":[[2025,10,20]]},"location":"Montevideo, Uruguay","end":{"date-parts":[[2025,10,24]]}},"container-title":["2025 7th International Conference on Process Mining (ICPM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11220591\/11220277\/11220671.pdf?arnumber=11220671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:07:31Z","timestamp":1762322851000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11220671\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,20]]},"references-count":54,"URL":"https:\/\/doi.org\/10.1109\/icpm66919.2025.11220671","relation":{},"subject":[],"published":{"date-parts":[[2025,10,20]]}}}