{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:22:20Z","timestamp":1757542940075},"reference-count":22,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"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":["Computers & Chemical Engineering"],"published-print":{"date-parts":[[2003,7]]},"DOI":"10.1016\/s0098-1354(03)00009-7","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T21:26:08Z","timestamp":1051737968000},"page":"983-996","source":"Crossref","is-referenced-by-count":16,"title":["Modular design and implementation of a logic control system for a batch process"],"prefix":"10.1016","volume":"27","author":[{"given":"Luca","family":"Ferrarini","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Piroddi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"7","key":"10.1016\/S0098-1354(03)00009-7_BIB1","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1109\/9.231459","article-title":"Supervisory control of a rapid thermal multiprocessor","volume":"38","author":"Balemi","year":"1993","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"6","key":"10.1016\/S0098-1354(03)00009-7_BIB2","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1109\/70.63273","article-title":"Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows","volume":"6","author":"Banaszak","year":"1990","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"10.1016\/S0098-1354(03)00009-7_BIB3","doi-asserted-by":"crossref","unstructured":"Barkaoui, K., Abdallah, I.B. A deadlock prevention method for a class of FMS. Intelligent Systems for the Twenty-first Century. IEEE International Conference on Systems Man and Cybernetics 1995;5:4119\u20134124.","DOI":"10.1109\/ICSMC.1995.538436"},{"issue":"2","key":"10.1016\/S0098-1354(03)00009-7_BIB4","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1109\/87.748144","article-title":"The supervised control of discrete-event dynamic systems","volume":"7","author":"Charbonnier","year":"1999","journal-title":"IEEE Transactions on Control System Technology"},{"key":"10.1016\/S0098-1354(03)00009-7_BIB5","doi-asserted-by":"crossref","unstructured":"Crockett, D., Desrochers, A., DiCesare, F., Ward, T. Implementation a Petri net controller for a machining workstation. Proceedings of the IEEE Conference on Robotics and Automation, Raleigh, NC, 1987, pp. 1861\u20131867.","DOI":"10.1109\/ROBOT.1987.1087773"},{"key":"10.1016\/S0098-1354(03)00009-7_BIB6","series-title":"Petri Nets and Grafcet-Tools for Modeling Discrete Event Systems","author":"David","year":"1992"},{"issue":"2","key":"10.1016\/S0098-1354(03)00009-7_BIB7","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","article-title":"A Petri net based deadlock prevention policy for flexible manufacturing systems","volume":"11","author":"Ezpeleta","year":"1995","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"10.1016\/S0098-1354(03)00009-7_BIB8","doi-asserted-by":"crossref","unstructured":"Giua, A., DiCesare, F. Supervisory design using Petri nets. Proceedings of the Thirtieth Conference on Decision and Control, Brighton, UK, 1991, pp. 92\u201397.","DOI":"10.1109\/CDC.1991.261262"},{"key":"10.1016\/S0098-1354(03)00009-7_BIB9","unstructured":"International Standard IEC 1131-3, Programmable Controllers\u2014Part 3, ISO\/IEC, 1993."},{"key":"10.1016\/S0098-1354(03)00009-7_BIB10","doi-asserted-by":"crossref","unstructured":"Jeng, M.D., DiCesare, F. A synthesis method for Petri net modeling of automated manufacturing systems with shared resources. IEEE Thirty-first Conference on Decision and Control, Tucson, AZ, 1992, pp. 1184\u20131189.","DOI":"10.1109\/CDC.1992.371530"},{"issue":"12","key":"10.1016\/S0098-1354(03)00009-7_BIB11","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1016\/S0098-1354(98)00008-8","article-title":"Grafchart for recipe-based batch control","volume":"22","author":"Johnsson","year":"1998","journal-title":"Computers in Chemical Engineering"},{"key":"10.1016\/S0098-1354(03)00009-7_BIB12","series-title":"Supervisory Control of Discrete Event Systems Using Petri Nets","author":"Moody","year":"1989"},{"issue":"4","key":"10.1016\/S0098-1354(03)00009-7_BIB13","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: properties, analysis and application","volume":"77","author":"Murata","year":"1989","journal-title":"Proceedings of the IEEE"},{"issue":"6","key":"10.1016\/S0098-1354(03)00009-7_BIB14","doi-asserted-by":"crossref","first-page":"1046","DOI":"10.1109\/70.817669","article-title":"Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets","volume":"15","author":"Park","year":"1999","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"10.1016\/S0098-1354(03)00009-7_BIB15","series-title":"Petri Net Theory and The Modeling of Systems","author":"Peterson","year":"1981"},{"issue":"1","key":"10.1016\/S0098-1354(03)00009-7_BIB16","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","article-title":"Supervisory control of a class of discrete-event systems","volume":"25","author":"Ramadge","year":"1987","journal-title":"SIAM Journal of Control and Optimization"},{"issue":"5","key":"10.1016\/S0098-1354(03)00009-7_BIB17","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1109\/87.784418","article-title":"Hierarchical supervisory control for batch processes","volume":"7","author":"Tittus","year":"1999","journal-title":"IEEE Transactions on Control System Technology"},{"issue":"1","key":"10.1016\/S0098-1354(03)00009-7_BIB18","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/21.47812","article-title":"On the hierarchical modeling, analysis and simulation of FMS with extended Petri nets","volume":"20","author":"Valavanis","year":"1990","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"10.1016\/S0098-1354(03)00009-7_BIB19","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1080\/00207540010002388","article-title":"Synthesis of a correct control implementation for manufacturing systems","volume":"39","author":"Zaytoon","year":"2001","journal-title":"International Journal of Production Research"},{"issue":"10","key":"10.1016\/S0098-1354(03)00009-7_BIB20","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1109\/9.58555","article-title":"On the consistency of hierarchical supervision in discrete-event systems","volume":"35","author":"Zhong","year":"1990","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"10.1016\/S0098-1354(03)00009-7_BIB21","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/70.143353","article-title":"Hybrid methodology for synthesis of Petri nets models for manufacturing systems","volume":"8","author":"Zhou","year":"1992","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"6","key":"10.1016\/S0098-1354(03)00009-7_BIB22","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1016\/0005-1098(92)90061-J","article-title":"Design and implementation of a Petri nets based supervisor for a flexible manufacturing systems","volume":"28","author":"Zhou","year":"1992","journal-title":"Automatica"}],"container-title":["Computers & Chemical Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0098135403000097?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0098135403000097?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T06:30:30Z","timestamp":1553668230000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0098135403000097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":22,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["S0098135403000097"],"URL":"https:\/\/doi.org\/10.1016\/s0098-1354(03)00009-7","relation":{},"ISSN":["0098-1354"],"issn-type":[{"value":"0098-1354","type":"print"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}