{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:16:31Z","timestamp":1773656191786,"version":"3.50.1"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/acc.2009.5159987","type":"proceedings-article","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T19:56:27Z","timestamp":1248119787000},"page":"4994-4999","source":"Crossref","is-referenced-by-count":20,"title":["Petri nets and programming: A survey"],"prefix":"10.1109","author":[{"given":"Marian V.","family":"Iordache","sequence":"first","affiliation":[]},{"given":"Panos J.","family":"Antsaklis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_35"},{"key":"35","doi-asserted-by":"crossref","DOI":"10.1109\/TCAD.2005.852038","article-title":"quasi-static scheduling of independent tasks for reactive systems","author":"cortadella","year":"2005","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1998.731604"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/371636.371729"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/32.21759"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1989.37993"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207697"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSS.1997.621671"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818838"},{"key":"13","article-title":"supervisory control of contradictions in hierarchical task controllers","author":"guan","year":"1999","journal-title":"Proceedings of the 37th Annual Allerton Conference on Communication Control and Computing"},{"key":"14","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1145\/277044.277182","article-title":"Software synthesis of process-based concurrent programs","author":"lin","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"37","article-title":"schedulability analysis of petri nets based on structural properties","author":"liu","year":"2006","journal-title":"IEEE International Conference on Application of Concurrency to System Design"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382524"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.782140"},{"key":"12","author":"spectool homepage","year":"0"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-69108-1_9"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56891-3_30"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.863894"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/HSC.1999.777427"},{"key":"22","year":"0"},{"key":"23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-65307-4_46","article-title":"petri nets, process algebras and concurrent programming languages","volume":"1492","author":"best","year":"1998","journal-title":"ser Lecture Notes in Computer Science"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050144"},{"key":"25","first-page":"173","article-title":"towards modelling and verification of concurrent ada programs using petri nets","volume":"16","author":"burns","year":"2001","journal-title":"Computer Systems Science and Engineering"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/32.286423"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/71.553301"},{"key":"28","first-page":"155","article-title":"supervisory plug-ins for distributed software","author":"lemmon","year":"2000","journal-title":"Proceedings of the Workshop on Software Engineering and Petri Nets"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884469"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"2","author":"iordache","year":"2006","journal-title":"Supervisory Control of Concurrent Systems A Petri Net Structural Approach"},{"key":"10","article-title":"automated control, observation, and diagnosis of multi-layer condition systems","volume":"16","author":"ashley","year":"2007","journal-title":"Studies in Informatics and Control"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605961"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2003.11.004"},{"key":"5","doi-asserted-by":"crossref","first-page":"4951","DOI":"10.1109\/ACC.2007.4282231","article-title":"petri net supervisors for disjunctive constraints","author":"iordache","year":"2007","journal-title":"Proceed- ings of the 2007 American Control Conference"},{"key":"31","year":"0"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0021-9"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875446"},{"key":"8","article-title":"a formal specification model for hardware\/ software codesign","author":"chiodo","year":"1993","journal-title":"Proceedings of the International Work- shop on Hardware-Software Codesign"}],"event":{"name":"2009 American Control Conference","location":"St. Louis, MO, USA","start":{"date-parts":[[2009,6,10]]},"end":{"date-parts":[[2009,6,12]]}},"container-title":["2009 American Control Conference"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/5089257\/5159764\/05159987.pdf?arnumber=5159987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T22:07:06Z","timestamp":1497823626000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/5159987\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":41,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/acc.2009.5159987","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}