{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:46:07Z","timestamp":1729644367423,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/cca.2007.4389308","type":"proceedings-article","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T21:11:59Z","timestamp":1196370719000},"page":"664-669","source":"Crossref","is-referenced-by-count":0,"title":["Software tool for modeling, simulation and real-time implementation of Petri net-based supervisors"],"prefix":"10.1109","author":[{"given":"Goran","family":"Genter","sequence":"first","affiliation":[]},{"given":"Stjepan","family":"Bogdan","sequence":"additional","affiliation":[]},{"given":"Zdenko","family":"Kovacic","sequence":"additional","affiliation":[]},{"given":"Ivor","family":"Grubisic","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884357"},{"key":"ref11","first-page":"2086","article-title":"Matrix Approach To Deadlock-Free Dispatching In Multi-Class Finite Buffer Flowlines","volume":"45","author":"gurel","year":"2002","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/41.969387"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2002.801876"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2004.1371615"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725375"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884360"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884359"},{"key":"ref18","first-page":"419","article-title":"Verification of sequential controllers with timing functions for chemical processes","author":"kowalewski","year":"1996","journal-title":"Proc of 13th IFAC World Congress"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/37.272781"},{"year":"2005","key":"ref4"},{"year":"2005","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1083","DOI":"10.1016\/S0005-1098(98)00048-X","article-title":"Analysis of Deadlock and Circular Waits Using a Matrix Model for Discrete Event Manufacturing Systems","volume":"34","author":"lewis","year":"1998","journal-title":"Automatica"},{"key":"ref8","first-page":"329","article-title":"Modelling and control of manufacturing systems using Petri nets","author":"stanton","year":"1996","journal-title":"Proc of 13th IFAC World Congress"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55676-1_21"},{"year":"2005","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/88.242441"},{"key":"ref9","article-title":"A general methodology for converting Petri nets into ladder logic: the TPLL methodology","author":"uzam","year":"0","journal-title":"Proceedings of the 5 th Internatioal Conference on Computer Integrated Manufacturing and Automation"},{"year":"2006","key":"ref20"},{"key":"ref21","first-page":"241","volume":"15","author":"basile","year":"2007","journal-title":"Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab Control Engineering Practice"}],"event":{"name":"2007 IEEE International Conference on Control Applications","start":{"date-parts":[[2007,10,1]]},"location":"Singapore","end":{"date-parts":[[2007,10,3]]}},"container-title":["2007 IEEE International Conference on Control Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4389190\/4389191\/04389308.pdf?arnumber=4389308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T01:34:33Z","timestamp":1497749673000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4389308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cca.2007.4389308","relation":{},"ISSN":["1085-1992"],"issn-type":[{"type":"print","value":"1085-1992"}],"subject":[],"published":{"date-parts":[[2007,10]]}}}