{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:13:17Z","timestamp":1730232797325,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/icca.2018.8444173","type":"proceedings-article","created":{"date-parts":[[2018,9,7]],"date-time":"2018-09-07T18:50:55Z","timestamp":1536346255000},"page":"330-335","source":"Crossref","is-referenced-by-count":8,"title":["Java Software for Petri-Net-Based Approaches to Discrete Event Systems"],"prefix":"10.1109","author":[{"given":"Xiaojun","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hesuan","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2420619"},{"key":"ref3","article-title":"Petri Nets For Automated Manufacturing Systems: Modeling, Control and Performance Analysis","author":"desrochers","year":"1993","journal-title":"Rensselaer Polytech c Inst"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref6","first-page":"358","article-title":"Liveness in bounded Petri nets which are covered by T-invariants","volume":"815","author":"lautenbach","year":"1995","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294244"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S1572-4417(06)80013-6"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","author":"cassandras","year":"1999","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref9","first-page":"2298","article-title":"Petri nets toolbox in control engineering educations","author":"matcovschi","year":"2006","journal-title":"Proc IEEE Int Conf Control Appl"},{"journal-title":"Synchronization and Linearity An Algebra for Discrete Event Systems","year":"1992","author":"bacelli","key":"ref1"}],"event":{"name":"2018 IEEE 14th International Conference on Control and Automation (ICCA)","start":{"date-parts":[[2018,6,12]]},"location":"Anchorage, AK","end":{"date-parts":[[2018,6,15]]}},"container-title":["2018 IEEE 14th International Conference on Control and Automation (ICCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8409887\/8444139\/08444173.pdf?arnumber=8444173","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T22:34:08Z","timestamp":1598222048000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8444173\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icca.2018.8444173","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}