{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T22:57:38Z","timestamp":1762210658047,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042440","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T16:57:26Z","timestamp":1318525046000},"page":"413-418","source":"Crossref","is-referenced-by-count":13,"title":["Monitor optimization in Petri net control"],"prefix":"10.1109","author":[{"given":"Roberto","family":"Cordone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Piroddi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref11","first-page":"172","article-title":"A Survey and Comparison of Petri Net-based Deadlock Prevention Policy for Flexible Manufacturing Systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1319-y"},{"journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach","year":"2005","author":"reveliotis","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893461"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","article-title":"An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions","volume":"19","author":"uzam","year":"2002","journal-title":"Int J Adv Manuf Technol"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-002-1526-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530916"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref2","article-title":"Design of a Maximally Permissive Liveness–Enforcing Petri Net Supervisor for Flexible Manufacturing Systems","author":"chen","year":"2010","journal-title":"IEEE Trans Autom Sci Eng in press available on line"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0701-5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2095612"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042440.pdf?arnumber=6042440","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T09:19:30Z","timestamp":1560763170000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042440\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042440","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}