{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T22:01:36Z","timestamp":1766268096335,"version":"3.37.3"},"reference-count":80,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T00:00:00Z","timestamp":1493769600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100002383","name":"King Saud University","doi-asserted-by":"publisher","award":["ISPP#0079"],"award-info":[{"award-number":["ISPP#0079"]}],"id":[{"id":"10.13039\/501100002383","id-type":"DOI","asserted-by":"publisher"}]},{"name":"International Scientific Partnership Program"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12,18]]},"DOI":"10.1093\/imamci\/dnx024","type":"journal-article","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T14:57:02Z","timestamp":1491404222000},"page":"1217-1249","source":"Crossref","is-referenced-by-count":7,"title":["On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach"],"prefix":"10.1093","volume":"35","author":[{"given":"Muhammad","family":"Bashir","sequence":"first","affiliation":[{"name":"School of Electro-Mechanical Engineering, Key Laboratory of Electronic Equipment Structure Design, Xidian University, No. 2 South Taibai Road, Xi\u2019an, China"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Systems Engineering, Macau University of Science and Technology, Avenida Wai Long, Taipa, Macau SAR"}]},{"given":"Murat","family":"Uzam","sequence":"additional","affiliation":[{"name":"Meliksah Universitesi, Muhendislik-Mimarlik Fakultesi Elektrik-Elektronik Muhendisligi Bolumu 38280 Talas, Kayseri, Turkey"}]},{"given":"Naiqi","family":"Wu","sequence":"additional","affiliation":[{"name":"Institute of Systems Engineering, Macau University of Science and Technology, Avenida Wai Long, Taipa, Macau SAR"}]},{"given":"Abdulrahman","family":"Al-Ahmari","sequence":"additional","affiliation":[{"name":"Industrial Engineering Department, College of Engineering, King Saud University, Riyadh 11421, Saudi Arabia and FARCAMT Chair, Advanced Manufacturing Institute, King Saud University, Riyadh 11421, Saudi Arabia"}]}],"member":"286","published-online":{"date-parts":[[2017,5,3]]},"reference":[{"key":"key\n\t\t\t\t2018121806142225100_B1","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1007\/BF01438223","article-title":"Deadlock prevention and avoidance in FMS: a Petri net based approach.","volume":"14","author":"Abdallah","year":"1998","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"key\n\t\t\t\t2018121806142225100_B2","doi-asserted-by":"crossref","first-page":"1456","DOI":"10.1109\/TSMC.2015.2501232","article-title":"Optimal one-wafer cyclic scheduling and buffer space configuration for single-arm multicluster tools with linear topology.","volume":"46","author":"Bai","year":"2016","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"key\n\t\t\t\t2018121806142225100_B3","first-page":"12","article-title":"Supervisory control of discrete event systems based on structure theory of Petri nets.","author":"Barkaoui","year":"1997","journal-title":"Proceeding IEEE International Conference System, Man and Cybernetics"},{"key":"key\n\t\t\t\t2018121806142225100_B4","doi-asserted-by":"crossref","first-page":"1028","DOI":"10.1016\/j.automatica.2011.01.070","article-title":"Design of a maximally permissive liveness enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems.","volume":"47","author":"Chen","year":"2011","journal-title":"Automatica"},{"key":"key\n\t\t\t\t2018121806142225100_B5","doi-asserted-by":"crossref","first-page":"2647","DOI":"10.1016\/j.automatica.2012.06.068","article-title":"On structural minimality of optimal supervisors for flexible systems.","volume":"48","author":"Chen","year":"2012","journal-title":"Automatica"},{"key":"key\n\t\t\t\t2018121806142225100_B6","doi-asserted-by":"crossref","DOI":"10.1201\/b14588","volume-title":"Optimal Supervisory Control of Automated Manufacturing Systems.","author":"Chen","year":"2013"},{"key":"key\n\t\t\t\t2018121806142225100_B7","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1109\/TASE.2010.2060332","article-title":"Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems.","volume":"8","author":"Chen","year":"2011","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"key\n\t\t\t\t2018121806142225100_B8","doi-asserted-by":"crossref","first-page":"1384","DOI":"10.1109\/TSMC.2014.2307284","article-title":"New Petri net structure and its application to optimal supervisory control: Interval inhibitor arcs.","volume":"44","author":"Chen","year":"2014","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"key\n\t\t\t\t2018121806142225100_B9","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1109\/TSMCA.2011.2169956","article-title":"Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems.","volume":"42","author":"Chen","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Humans"},{"key":"key\n\t\t\t\t2018121806142225100_B10","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1109\/TASE.2013.2241762","article-title":"Optimal supervisory control of flexible manu- facturing systems by Petri nets: A set classification approach.","volume":"11","author":"Chen","year":"2014","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"key\n\t\t\t\t2018121806142225100_B11","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1016\/j.automatica.2015.02.014","article-title":"On the enforcement of a class of nonlinear constraints on Petri nets.","volume":"55","author":"Chen","year":"2015","journal-title":"Automatica"},{"key":"key\n\t\t\t\t2018121806142225100_B12","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1109\/TSMC.2016.2521833","article-title":"Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs.","volume":"47","author":"Chen","year":"2017","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"key\n\t\t\t\t2018121806142225100_B13","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/j.ins.2016.11.011","article-title":"Deadlock recovery for flexible manufacturing systems modeled with Petri nets.","volume":"381","author":"Chen","year":"2017","journal-title":"Inf. Sci."},{"key":"key\n\t\t\t\t2018121806142225100_B14","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/70.650158","article-title":"Deadlock analysis of Petri nets using siphons and mathematical programming.","volume":"13","author":"Chu","year":"1997","journal-title":"IEEE Trans. Robot Autom."},{"key":"key\n\t\t\t\t2018121806142225100_B15","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","article-title":"A Petri nets based deadlock prevention policy for flexible manufacturing systems.","volume":"11","author":"Ezepeleta","year":"1995","journal-title":"IEEE Trans. Robot. Autom."},{"key":"key\n\t\t\t\t2018121806142225100_B16","first-page":"64","article-title":"A class of well structured Petri nets for flexible manufacturing systems.","volume-title":"Proceedings of the 19th International Conference of Applied Theory of Petri Nets","author":"Ezpeleta","year":"1998"},{"key":"key\n\t\t\t\t2018121806142225100_B17","first-page":"104","article-title":"Implicit places in a net systems.","volume-title":"8th Proceeding IEEE International Workshop on Petri Nets Performance Models","author":"Garc\u00eda-Vall\u00e9s","year":"1999"},{"key":"key\n\t\t\t\t2018121806142225100_B18","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/TRA.2002.807555","article-title":"Design of a live and maximally permissive Petri nets controller using the theory of regions.","volume":"19","author":"Ghaffari","year":"2003","journal-title":"IEEE Trans. Robot. Autom."},{"key":"key\n\t\t\t\t2018121806142225100_B19","first-page":"18","article-title":"Generalized mutual exclusion constraints on nets with uncontrollable transitions.","author":"Giua","year":"1992","journal-title":"Proceeding IEEE International Conference System, Man, and Cybernetics"},{"key":"key\n\t\t\t\t2018121806142225100_B20","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1002\/asjc.939","article-title":"New controllability condition for siphons in WS$^3$PR nets.","volume":"17","author":"Guan","year":"2015","journal-title":"Asian J. Control"},{"key":"key\n\t\t\t\t2018121806142225100_B21","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1007\/s00170-003-1907-4","article-title":"Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems.","volume":"25","author":"Han","year":"2005","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"key\n\t\t\t\t2018121806142225100_B22","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1177\/0142331213495884","article-title":"Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resource.","volume":"36","author":"Hao","year":"2014","journal-title":"Trans. Inst. Meas. Control"},{"key":"key\n\t\t\t\t2018121806142225100_B23","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1002\/asjc.1004","article-title":"Deadlock control for a class of generalized Petri nets based on proper resource allocation.","volume":"18","author":"Hou","year":"2016","journal-title":"Asian J. Control"},{"key":"key\n\t\t\t\t2018121806142225100_B24","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1109\/TASE.2011.2156783","article-title":"Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets.","volume":"8","author":"Hu","year":"2011","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"key\n\t\t\t\t2018121806142225100_B25","first-page":"21","article-title":"A deadlock prevention policy for flexible manufacturing systems using siphons.","author":"Huang","year":"2001","journal-title":"Proceeding IEEE International Conference on Robot Automation"},{"key":"key\n\t\t\t\t2018121806142225100_B26","doi-asserted-by":"crossref","first-page":"2148","DOI":"10.1109\/TSMCA.2006.878953","article-title":"Siphon-based deadlock prevention policy for flexible manufacturing systems.","volume":"36","author":"Huang","year":"2006","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Humans"},{"key":"key\n\t\t\t\t2018121806142225100_B27","doi-asserted-by":"crossref","first-page":"1069","DOI":"10.1049\/iet-cta.2010.0371","article-title":"An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach.","volume":"5","author":"Huang","year":"2011","journal-title":"IET Control Theory Appl."},{"key":"key\n\t\t\t\t2018121806142225100_B28","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/j.engappai.2017.01.012","article-title":"Fuzzy Petri nets for knowledge representation and reasoning: a literature review.","volume":"60","author":"Liu","year":"2017","journal-title":"Eng. Appl. Artif. Intell."},{"key":"key\n\t\t\t\t2018121806142225100_B29","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1109\/TSMCA.2003.820579","article-title":"ERCN$^*$-merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems.","volume":"34","author":"Jeng","year":"2004","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Humans"},{"key":"key\n\t\t\t\t2018121806142225100_B30","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1177\/0142331213506032","article-title":"Identification of one-place-unbounded Petri nets from their modified coverability graph.","volume":"36","author":"Ji","year":"2014","journal-title":"Trans. Inst. Meas. Control"},{"key":"key\n\t\t\t\t2018121806142225100_B31","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","article-title":"Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing system.","volume":"34","author":"Li","year":"2004","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"key\n\t\t\t\t2018121806142225100_B32","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1109\/TII.2006.885185","article-title":"Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets.","volume":"2","author":"Li","year":"2006","journal-title":"IEEE Trans. Ind. Inf."},{"key":"key\n\t\t\t\t2018121806142225100_B33","doi-asserted-by":"crossref","first-page":"1227","DOI":"10.1109\/TSMCA.2006.878966","article-title":"Clarifications on the definitions of elementary siphons in Petri nets.","volume":"36","author":"Li","year":"2006","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Humans"},{"key":"key\n\t\t\t\t2018121806142225100_B34","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1109\/TSMCC.2007.897333","article-title":"Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets.","volume":"37","author":"Li","year":"2007","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"},{"key":"key\n\t\t\t\t2018121806142225100_B35","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TSMCA.2007.914741","article-title":"On controllability of dependent siphons for deadlock prevention in generalized Petri nets.","volume":"38","author":"Li","year":"2008","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"key\n\t\t\t\t2018121806142225100_B36","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1109\/TASE.2006.884674","article-title":"A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and theory of regions.","volume":"5","author":"Li","year":"2008","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"key\n\t\t\t\t2018121806142225100_B37","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/TSMCA.2007.909548","article-title":"Control of elementary and dependent siphons in Petri nets and their application.","volume":"38","author":"Li","year":"2008","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Humans"},{"key":"key\n\t\t\t\t2018121806142225100_B38","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","article-title":"Deadlock control of automated manufacturing systems based on Petri nets\u2013A literature review.","volume":"42","author":"Li","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"},{"key":"key\n\t\t\t\t2018121806142225100_B39","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSMCA.2011.2147308","article-title":"Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems.","volume":"42","author":"Li","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Humans"},{"key":"key\n\t\t\t\t2018121806142225100_B40","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1093\/imamci\/dnt029","article-title":"A merging method for the siphon-based FMS of maximally permissive controller with simpler structures.","volume":"31","author":"Liu","year":"2014","journal-title":"IMA J. Math. Control Inf."},{"key":"key\n\t\t\t\t2018121806142225100_B41","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1016\/j.isatra.2014.07.003","article-title":"Application of Petri nets to performance evaluation of subsea blowout preventer system.","volume":"54","author":"Liu","year":"2015","journal-title":"ISA Trans."},{"key":"key\n\t\t\t\t2018121806142225100_B42","doi-asserted-by":"crossref","first-page":"1774","DOI":"10.1109\/TAC.2015.2389313","article-title":"Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints.","volume":"60","author":"Ma","year":"2015","journal-title":"IEEE Trans. Autom. Control"},{"key":"key\n\t\t\t\t2018121806142225100_B43","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1016\/j.automatica.2016.07.042","article-title":"Petri net controllers for generalized mutual exclusion constraints with floor operators.","volume":"74","author":"Ma","year":"2016","journal-title":"Automatica"},{"key":"key\n\t\t\t\t2018121806142225100_B44","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/2422.322418","article-title":"Linear programming in linear time when the dimension is fixed.","volume":"31","author":"Megiddo","year":"1984","journal-title":"J. Assoc. Comput. Mach."},{"key":"key\n\t\t\t\t2018121806142225100_B45","first-page":"27","article-title":"Minimal supervisory structure for flexible manufacturing systems using Petri nets.","author":"Muhammad","year":"2016","journal-title":"2nd Proceeding IEEE International Conference on Control, Automation and Robotics (ICCAR)"},{"key":"key\n\t\t\t\t2018121806142225100_B46","doi-asserted-by":"crossref","first-page":"1572","DOI":"10.1109\/9.956052","article-title":"Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings.","volume":"46","author":"Park","year":"2001","journal-title":"IEEE Trans. Autom. Control"},{"key":"key\n\t\t\t\t2018121806142225100_B47","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/j.isatra.2014.08.019","article-title":"Programmable logic controller performance enhancement by field programmable gate array based design.","volume":"54","author":"Patel","year":"2015","journal-title":"ISA Trans."},{"key":"key\n\t\t\t\t2018121806142225100_B48","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1109\/TSMCA.2008.2003535","article-title":"Selective siphon control for deadlock prevention in Petri nets.","volume":"38","author":"Pirrodi","year":"2008","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"key\n\t\t\t\t2018121806142225100_B49","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1109\/TSMCA.2009.2013189","article-title":"Combined siphon and marking generation for deadlock prevention in Petri nets.","volume":"39","author":"Pirrodi","year":"2009","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Humans"},{"key":"key\n\t\t\t\t2018121806142225100_B50","doi-asserted-by":"crossref","first-page":"2448","DOI":"10.1109\/TAC.2015.2496500","article-title":"On the equivalence of observation structures for Petri net generators.","volume":"61","author":"Tong","year":"2016","journal-title":"IEEE Trans. Autom. Control"},{"key":"key\n\t\t\t\t2018121806142225100_B51","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2016.2620429","article-title":"Verification of state-based opacity using Petri nets.","volume":"62","author":"Tong","year":"2017","journal-title":"IEEE Trans. Autom. Control"},{"key":"key\n\t\t\t\t2018121806142225100_B52","first-page":"22","article-title":"An extension of the liveness theory for concurrent sequential processes competing for shared resources.","author":"Tricas","year":"1995","journal-title":"Proceeding IEEE International Conference System, Man, and Cybernetic"},{"key":"key\n\t\t\t\t2018121806142225100_B53","first-page":"21","article-title":"An iterative method for deadlock prevention in FMSs.","volume-title":"Proceeding 5th Workshop on Discrete Event Systems, Discrete Event systems Analysis and Control,","author":"Tricas","year":"2000"},{"key":"key\n\t\t\t\t2018121806142225100_B54","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s001700200014","article-title":"An optimal deadlock prevention policy for flexible manufacturing systems using Petri nets models with resources and the theory of regions.","volume":"19","author":"Uzam","year":"2002","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"key\n\t\t\t\t2018121806142225100_B55","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/s00170-002-1526-5","article-title":"The use of Petri nets reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems.","volume":"23","author":"Uzam","year":"2004","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"key\n\t\t\t\t2018121806142225100_B56","doi-asserted-by":"crossref","first-page":"1987","DOI":"10.1080\/00207540500431321","article-title":"An improved iterative synthesis method for liveness-enforcing supervisor of flexible manufacturing system.","volume":"44","author":"Uzam","year":"2006","journal-title":"Int. J. Prod. Res."},{"key":"key\n\t\t\t\t2018121806142225100_B57","first-page":"1193","article-title":"An iterative synthesis approach to Petri nets based deadlock prevention policy for flexible manufacturing systems.","volume":"35","author":"Uzam","year":"2007","journal-title":"IEEE Trans. Syst. Man Cybern. Part B"},{"key":"key\n\t\t\t\t2018121806142225100_B58","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/s00170-006-0701-5","article-title":"Identification and elimination of redundant control places in Petri nets based liveness-enforcing supervisors of FMS.","volume":"35","author":"Uzam","year":"2007","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"key\n\t\t\t\t2018121806142225100_B59","doi-asserted-by":"crossref","first-page":"4634","DOI":"10.1080\/00207543.2015.1098785","article-title":"Think-globally act locally approach for the synthesis of a liveness-enforcing supervisor of flexible manufacturing system based on Petri net.","volume":"54","author":"Uzam","year":"2015","journal-title":"Int. J. Prod. Res."},{"key":"key\n\t\t\t\t2018121806142225100_B60","doi-asserted-by":"crossref","first-page":"1111","DOI":"10.1007\/s10845-014-0938-z","article-title":"A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems.","volume":"27","author":"Uzam","year":"2016","journal-title":"J. Intell. Manuf."},{"key":"key\n\t\t\t\t2018121806142225100_B61","doi-asserted-by":"crossref","first-page":"912","DOI":"10.1109\/TSMCA.2009.2019880","article-title":"An effective algorithms and their analysis using siphons.","volume":"39","author":"Wang","year":"2009","journal-title":"IEEE Trans. Systems Man Cybern. Part A Syst. Humans"},{"key":"key\n\t\t\t\t2018121806142225100_B62","doi-asserted-by":"crossref","first-page":"1206","DOI":"10.1109\/TSMCA.2011.2170419","article-title":"Controllability conditions of resultant siphons in a class of Petri nets.","volume":"42","author":"Wang","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"key\n\t\t\t\t2018121806142225100_B63","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/TASE.2014.2309479","article-title":"Dynamic low-power reconfiguration of real-time systems with periodic and probabilistic tasks.","volume":"12","author":"Wang","year":"2015","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"key\n\t\t\t\t2018121806142225100_B64","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1109\/TII.2015.2500161","article-title":"Dynamic multiple-period reconfiguration of real-time scheduling based on timed DES supervisory control.","volume":"12","author":"Wang","year":"2016","journal-title":"IEEE Trans. Ind. Inf."},{"key":"key\n\t\t\t\t2018121806142225100_B65","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/TSMCA.2007.909542","article-title":"Resource-oriented Petri net for deadlock avoidance in flexible assembly systems.","volume":"38","author":"Wu","year":"2008","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"key\n\t\t\t\t2018121806142225100_B66","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1109\/TASE.2011.2160452","article-title":"Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation.","volume":"9","author":"Wu","year":"2012","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"key\n\t\t\t\t2018121806142225100_B67","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/TSMCA.2012.2187890","article-title":"Petri net modeling and cycle time analysis of dual-arm cluster tools with wafer revisiting.","volume":"43","author":"Wu","year":"2013","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"key\n\t\t\t\t2018121806142225100_B68","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MRA.2015.2415047","article-title":"Short-term scheduling of crude-oil operations: Petri net-based control-theoretic approach.","volume":"22","author":"Wu","year":"2015","journal-title":"IEEE Robot. Automat. Mag."},{"key":"key\n\t\t\t\t2018121806142225100_B69","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1080\/17517575.2014.948936","article-title":"Short-term scheduling of crude oil opera- tions in refinery with high-fusion-point oil and two transportation pipelines.","volume":"10","author":"Wu","year":"2016","journal-title":"Enterp. Inf. Syst."},{"key":"key\n\t\t\t\t2018121806142225100_B70","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/0278-6125(94)90028-0","article-title":"Resolution of deadlock in flexible manufacturing systems: Avoidance and Recovery approaches.","volume":"13","author":"Wysk","year":"1994","journal-title":"J. Manufact. Syst."},{"key":"key\n\t\t\t\t2018121806142225100_B71","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1109\/TSMC.2015.2507140","article-title":"Scheduling of single-arm cluster tools for an atomic layer deposition process with residency time constraints.","volume":"47","author":"Yang","year":"2017","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"key\n\t\t\t\t2018121806142225100_B72","doi-asserted-by":"crossref","first-page":"955","DOI":"10.1109\/TSMC.2014.2373316","article-title":"Decentralized supervision of Petri nets with a coordinator.","volume":"45","author":"Ye","year":"2015","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"key\n\t\t\t\t2018121806142225100_B73","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/j.isatra.2013.09.006","article-title":"Safety analysis of discrete event systems using a simplified Petri net controller.","volume":"53","author":"Zareiee","year":"2015","journal-title":"ISA Trans."},{"key":"key\n\t\t\t\t2018121806142225100_B74","doi-asserted-by":"crossref","first-page":"1006","DOI":"10.1002\/asjc.947","article-title":"Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places.","volume":"17","author":"Zareiee","year":"2015","journal-title":"Asian J. Control"},{"key":"key\n\t\t\t\t2018121806142225100_B75","first-page":"1","article-title":"Transition-based deadlock control policy using reachability graph for flexible manufacturing systems.","volume":"8","author":"Zhang","year":"2016","journal-title":"Adv. Mech. Eng."},{"key":"key\n\t\t\t\t2018121806142225100_B76","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1109\/TCST.2014.2313352","article-title":"Reconfigurable co- ordination of distributed discrete event control systems.","volume":"23","author":"Zhang","year":"2015","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"key\n\t\t\t\t2018121806142225100_B77","article-title":"Branch and bound search algorithms and their computational complexity.","volume-title":"Research Report, No. ISI\/RR-96-443.","author":"Zhang","year":"2015"},{"key":"key\n\t\t\t\t2018121806142225100_B78","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10626-011-0124-9","article-title":"An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri net using mathematical programming.","volume":"23","author":"Zhao","year":"2013","journal-title":"Discrete Event Dyn. Syst. Theory Appl."},{"key":"key\n\t\t\t\t2018121806142225100_B79","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1177\/1687814016639823","article-title":"Near-optimal supervisory control of flexible manufacturing system using divide-and-conquer iterative method.","volume":"8","author":"Zhao","year":"2016","journal-title":"Adv. Mech. Eng."},{"key":"key\n\t\t\t\t2018121806142225100_B80","first-page":"5","article-title":"Parameterized supervisor synthesis for a modular class of discrete event systems. in:","author":"Zouari","year":"2003","journal-title":"Proceeding IEEE International Conference on System, Man, Cybernetic."}],"container-title":["IMA Journal of Mathematical Control and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/imamci\/article-pdf\/35\/4\/1217\/27171174\/dnx024.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T00:46:04Z","timestamp":1692751564000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/imamci\/article\/35\/4\/1217\/3792087"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,3]]},"references-count":80,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2017,5,3]]},"published-print":{"date-parts":[[2018,12,18]]}},"URL":"https:\/\/doi.org\/10.1093\/imamci\/dnx024","relation":{},"ISSN":["0265-0754","1471-6887"],"issn-type":[{"type":"print","value":"0265-0754"},{"type":"electronic","value":"1471-6887"}],"subject":[],"published-other":{"date-parts":[[2018,12]]},"published":{"date-parts":[[2017,5,3]]}}}