{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T14:10:59Z","timestamp":1771510259244,"version":"3.50.1"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tsmc.2016.2523929","type":"journal-article","created":{"date-parts":[[2016,2,23]],"date-time":"2016-02-23T19:07:01Z","timestamp":1456254421000},"page":"2586-2600","source":"Crossref","is-referenced-by-count":26,"title":["Identification of Time Petri Net Models"],"prefix":"10.1109","volume":"47","author":[{"given":"Francesco","family":"Basile","sequence":"first","affiliation":[]},{"given":"Pasquale","family":"Chiacchio","sequence":"additional","affiliation":[]},{"given":"Jolanda","family":"Coppola","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10172-9_15"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2013.12.007"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICAR.2013.6766465"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_17"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.3182\/20050703-6-CZ-1902.01440"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2009.5346599"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28108-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05461-2_2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2215323"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2011.10.002"},{"key":"ref16","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach"},{"key":"ref17","article-title":"Analysis of asynchronous concurrent systems by timed Petri nets","author":"ramchandani","year":"1974"},{"key":"ref18","article-title":"A study of the recoverability of computing systems","author":"merlin","year":"1974"},{"key":"ref19","first-page":"94","article-title":"P-time Petri nets for manufacturing systems","author":"khansa","year":"1996","journal-title":"Proc Workshop Discrete Event Syst (WODES)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2010.12.003"},{"key":"ref4","first-page":"244","volume":"616","author":"hiraishi","year":"1992","journal-title":"Construction of a Class of Safe Petri Nets by Presenting Firing Sequences"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2013.09.009"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0025-0"},{"key":"ref6","first-page":"16","author":"darondeau","year":"2000","journal-title":"Region Based Synthesis of P\/T-Nets and its Potential Applications"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0190-x"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/12.707587"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.10.014"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271737"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/9781119036821.ch10"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DCDS.2011.5970334"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1155\/2010\/453254"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56863-8_52"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2173798"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73094-1_7"},{"key":"ref24","author":"peterson","year":"1981","journal-title":"Petri Net Theory and the Modeling of Systems"},{"key":"ref23","first-page":"1201","article-title":"Synthesis of timed Petri net models for on-line identification of discrete event systems","author":"meda-campana","year":"2011","journal-title":"Proc 9th IEEE Int Conf Control Autom (ICCA)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648050"},{"key":"ref25","author":"hr\u00faz","year":"2007","journal-title":"Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/8011592\/07416234.pdf?arnumber=7416234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:41:23Z","timestamp":1642005683000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7416234\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":37,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2016.2523929","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9]]}}}