{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:15:30Z","timestamp":1729674930122,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/icnsc.2012.6204933","type":"proceedings-article","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T14:52:12Z","timestamp":1338562332000},"page":"295-300","source":"Crossref","is-referenced-by-count":1,"title":["Petri nets model of emergency control system for shipping"],"prefix":"10.1109","author":[{"given":"Juan","family":"Zou","sequence":"first","affiliation":[]},{"given":"Yong","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Weimin","family":"Wu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/66.705370"},{"key":"15","first-page":"39","author":"david","year":"1992","journal-title":"Petri Nets and Grafcet Tools for Modeling Discrete Event Systems"},{"key":"16","first-page":"551","article-title":"Stochastic Petri nets simulation based on event scheduling","volume":"16","author":"tang","year":"2004","journal-title":"Journal of System Simulation"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019917329895"},{"key":"14","first-page":"252","article-title":"The Theory of Deadlock Avoidance via Discrete Control","author":"wang","year":"2009","journal-title":"ACM Symposium on Principles of Programming Languages (POPL '09) Savannah Georgia USA"},{"key":"11","first-page":"2682","article-title":"Inhibitor arc based state avoidance controller for non-convex forbidden state problems in Petri nets","author":"cho","year":"2000","journal-title":"Proceedings of 39th IEEE Conference on and Decision and Control Sydney Australia"},{"key":"12","first-page":"42","article-title":"Supervisory control of discrete event systems based on inhibitor arc Petri nets: A survey","volume":"37","author":"wu","year":"2003","journal-title":"Journal of Zhejiang University SCIENCE"},{"key":"3","first-page":"2","article-title":"PIPE v2.5: A Petri Net Tool for Performance Modeling","author":"bonet","year":"2007","journal-title":"Proc 23rd Latin American Conference on Informatics (CLEI 2007) San Jose Costa Rica"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/24.963123"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1994.400071"},{"journal-title":"Platform Independent Petri Net Editor 2","year":"0","key":"10"},{"key":"7","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1109\/TSMCC.2009.2009125","article-title":"Emergency Response Workflow Resource Requirements Modeling and Analysis","volume":"39","author":"wang","year":"2009","journal-title":"IEEE Transactions on Systems Man and Cybernetics- Part C Applications and Reviews"},{"key":"6","first-page":"20","author":"chuang","year":"1999","journal-title":"Stochastic Petri nets and system performance evaluation"},{"key":"5","first-page":"1","article-title":"Stochastic Petri Nets: An Elementary Introduction","author":"ajmone marsan","year":"1989","journal-title":"Advances in Petri Nets"},{"key":"4","first-page":"319","article-title":"Definition and Assignment of Operator Tasks and Automatic Functions in Automatic Control Systems","volume":"5","author":"bastish","year":"2006","journal-title":"WSEAS Transactions on Systems"},{"journal-title":"The Petri Nets World-Tools and Software [Online]","year":"0","key":"9"},{"key":"8","first-page":"356","article-title":"Application of Generalized Stochastic Petri Nets (GSPN) in Modeling and Evaluating a Resource Sharing Flexible Manufacturing System","author":"goli","year":"2009","journal-title":"World Academy of Science Engineering and Technology"}],"event":{"name":"2012 9th IEEE International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2012,4,11]]},"location":"Beijing, China","end":{"date-parts":[[2012,4,14]]}},"container-title":["Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6201003\/6204880\/06204933.pdf?arnumber=6204933","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:35:18Z","timestamp":1497972918000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6204933\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2012.6204933","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}