{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:13:49Z","timestamp":1762100029185},"reference-count":32,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1992,11,1]],"date-time":"1992-11-01T00:00:00Z","timestamp":720576000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automatica"],"published-print":{"date-parts":[[1992,11]]},"DOI":"10.1016\/0005-1098(92)90061-j","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:27:27Z","timestamp":1047648447000},"page":"1199-1208","source":"Crossref","is-referenced-by-count":131,"title":["Design and implementation of a petri net based supervisor for a flexible manufacturing system"],"prefix":"10.1016","volume":"28","author":[{"given":"Meng Chu","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Frank","family":"Dicesare","sequence":"additional","affiliation":[]},{"given":"Daryl L.","family":"Rudolph","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0005-1098(92)90061-J_BIB1","series-title":"Proc. 15th Design Automation Conference","first-page":"305","article-title":"A synthesis rule for concurrent systems","author":"Agerwala","year":"1978"},{"key":"10.1016\/0005-1098(92)90061-J_BIB2","first-page":"153","article-title":"Petri nets in automation and manufacturing","volume":"2","author":"Al-Jaar","year":"1990"},{"key":"10.1016\/0005-1098(92)90061-J_BIB3","article-title":"Use of physical simulation in the instruction of flexible manufacturing systems","author":"Aslam","year":"1988"},{"key":"10.1016\/0005-1098(92)90061-J_BIB4","series-title":"Proc. of IECON","first-page":"174","article-title":"A programmable logic controller based on a high level specification tool","author":"Courvoisier","year":"1983"},{"key":"10.1016\/0005-1098(92)90061-J_BIB5","series-title":"Proc. of IEEE Robotics and Automation Conference","first-page":"1861","article-title":"Implementation of a Petri net controller for a machining workstation","author":"Crockett","year":"1987"},{"key":"10.1016\/0005-1098(92)90061-J_BIB6","series-title":"Proc. of IEEE Robotics and Automation Conference","first-page":"1114","article-title":"Real-time control of multilevel manufacturing systems using colored Petri nets","author":"Kasturia","year":"1988"},{"key":"10.1016\/0005-1098(92)90061-J_BIB7","series-title":"Proc. 4th IFAC\/IFORS Symp. Large Scale Systems","article-title":"Synthesis of place\/transition nets for simulation and control of manufacturing Systems","author":"Krogh","year":"1986"},{"key":"10.1016\/0005-1098(92)90061-J_BIB8","first-page":"297","article-title":"Generalized Petri Net Reduction Method","volume":"SMC-17","author":"Lee","year":"1987","journal-title":"IEEE Trans. Systems, Man, and Cybernetics"},{"key":"10.1016\/0005-1098(92)90061-J_BIB9","series-title":"Proc. of IEEE Robotics and Automation Conference","first-page":"1180","article-title":"Modeling, validation and software implementation of production systems using high level Petri nets","author":"Martinez","year":"1987"},{"key":"10.1016\/0005-1098(92)90061-J_BIB10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TIE.1986.351700","article-title":"A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation","volume":"IE-33","author":"Murata","year":"1986","journal-title":"IEEE Trans. on Industrial Electronics"},{"key":"10.1016\/0005-1098(92)90061-J_BIB11","series-title":"Proc. Conf. Computer Aided Production Engineering","article-title":"Coordination control of flexible manufacturing systems using coloured Petri nets","author":"Menon","year":"1989"},{"key":"10.1016\/0005-1098(92)90061-J_BIB12","first-page":"541","article-title":"Petri nets: properties, analysis and application","volume":"77","author":"Murata","year":"1989"},{"key":"10.1016\/0005-1098(92)90061-J_BIB13","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF02023780","article-title":"A Petri net approach to the modeling and analysis of flexible manufacturing systems","volume":"3","author":"Narahari","year":"1985","journal-title":"Annals of Operations Research"},{"key":"10.1016\/0005-1098(92)90061-J_BIB14","author":"Peterson","year":"1981"},{"key":"10.1016\/0005-1098(92)90061-J_BIB15","article-title":"Petri net-based control of a flexible manufacturing system","author":"Rudolph","year":"1989"},{"key":"10.1016\/0005-1098(92)90061-J_BIB16","series-title":"Proc. of the IFAC Conf. on Software for Computer Control","first-page":"38","article-title":"Programmable logic controller and Petri nets: a comparative study","author":"Silva","year":"1982"},{"key":"10.1016\/0005-1098(92)90061-J_BIB17","author":"Silva","year":"1985"},{"key":"10.1016\/0005-1098(92)90061-J_BIB18","series-title":"Concurrency and Nets","first-page":"435","article-title":"Toward a synchrony theory for P\/T nets","author":"Silva","year":"1987"},{"key":"10.1016\/0005-1098(92)90061-J_BIB19","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0022-0000(83)90029-6","article-title":"A method for stepwise refinements and abstractions of Petri nets","volume":"27","author":"Suzuki","year":"1983","journal-title":"J. of Comp. and Syst. Sci."},{"key":"10.1016\/0005-1098(92)90061-J_BIB20","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","article-title":"Analysis of Petri nets by stepwise refinements","volume":"18","author":"Valette","year":"1979","journal-title":"J. of Comp. and Syst. Sci."},{"key":"10.1016\/0005-1098(92)90061-J_BIB21","first-page":"264","article-title":"Control of flexible production systems and Petri nets","volume":"66","author":"Valette","year":"1982"},{"key":"10.1016\/0005-1098(92)90061-J_BIB22","series-title":"Proc. of Int. Symp. on Circ. & Sys.","first-page":"929","article-title":"Putting Petri nets to work for controlling flexible manufacturing systems","author":"Valette","year":"1985"},{"key":"10.1016\/0005-1098(92)90061-J_BIB23","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1016\/0005-1098(90)90001-X","article-title":"A coordination theory for intelligent machines","volume":"26","author":"Wang","year":"1990","journal-title":"Automatica"},{"key":"10.1016\/0005-1098(92)90061-J_BIB24","article-title":"Development of a physical simulator for a flexible manufacturing system","author":"Weiss","year":"1986"},{"key":"10.1016\/0005-1098(92)90061-J_BIB25","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1109\/21.44011","article-title":"Adaptive design of Petri net controllers for error recovery in automated manufacturing systems","volume":"SMC-19","author":"Zhou","year":"1989","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"10.1016\/0005-1098(92)90061-J_BIB26","series-title":"Proc. of IEEE Robotics and Automation Conference","first-page":"534","article-title":"A top-down modular approach to synthesis of Petri net models for manufacturing systems","author":"Zhou","year":"1989"},{"key":"10.1016\/0005-1098(92)90061-J_BIB27","series-title":"Beijing Int. Conf. on CAD and Computer Graphics","first-page":"766","article-title":"Computer-aided design of discrete event dynamic systems","author":"Zhou","year":"1989"},{"key":"10.1016\/0005-1098(92)90061-J_BIB28","article-title":"A theory for the synthesis and augmentation of Petri nets in automation","author":"Zhou","year":"1990"},{"key":"10.1016\/0005-1098(92)90061-J_BIB29","series-title":"Int. Conf. on Computer Integrated Manufacturing","first-page":"265","article-title":"Modeling buffers in automated manufacturing systems using Petri nets","author":"Zhou","year":"1990"},{"key":"10.1016\/0005-1098(92)90061-J_BIB30","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1115\/1.2905428","article-title":"Modeling and performance analysis of a flexible PCB assembly station using Petri nets","volume":"113","author":"Zhou","year":"1990","journal-title":"Trans. of the ASME, J. of Electronic Packaging"},{"key":"10.1016\/0005-1098(92)90061-J_BIB31","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1109\/70.86081","article-title":"Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems","volume":"7","author":"Zhou","year":"1991","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"10.1016\/0005-1098(92)90061-J_BIB32","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/70.143353","article-title":"A Hybrid methodology for synthesis of Petri net models for manufacturing systems","volume":"8","author":"Zhou","year":"1992","journal-title":"IEEE Trans. on Robotics and Automation"}],"container-title":["Automatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000510989290061J?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000510989290061J?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:28:48Z","timestamp":1553646528000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000510989290061J"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,11]]},"references-count":32,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1992,11]]}},"alternative-id":["000510989290061J"],"URL":"https:\/\/doi.org\/10.1016\/0005-1098(92)90061-j","relation":{},"ISSN":["0005-1098"],"issn-type":[{"value":"0005-1098","type":"print"}],"subject":[],"published":{"date-parts":[[1992,11]]}}}