Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs

Amin, 2014, Reasoning dynamic fuzzy systems based on adaptive fuzzy higher order Petri nets, Inf. Sci., 286, 161, 10.1016/j.ins.2014.07.011 Badouel, 1998, Theory of regions, 1491, 529 Bae, 2014, Planning of business process execution in Business Process Management environments, Inf. Sci., 268, 357, 10.1016/j.ins.2013.12.061 Banaszak, 1990, Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows, IEEE Trans. Robot. Autom., 6, 724, 10.1109/70.63273 Barkaoui, 1997, Supervisory control of discrete event systems based on structure theory of Petri nets, 2755 Barkaoui, 1996, On liveness and controlled siphons in Petri nets, 57 Boucheneb, 2014, Partial order reduction for checking soundness of time workflow nets, Inf. Sci., 282, 261, 10.1016/j.ins.2014.06.006 Chao, 2009, Direct minimal empty siphon computation using MIP, Int. J. Adv. Manuf. Technol., 45, 397, 10.1007/s00170-009-1967-1 Chao, 2007, Max’-controlled siphons for liveness of S3PGR2, IET Control Theory Appl., 1, 933, 10.1049/iet-cta:20060275 Chao, 2015, Closed-form solution of controller synthesis for infinitely large systems of resource sharing systems of a subclass of Petri nets, Trans. Inst. Meas. Control Chen, 2014, New Petri Net structure and its application to optimal supervisory control: interval inhibitor arcs, IEEE Trans. Syst. Man Cybern. Syst., 44, 1384, 10.1109/TSMC.2014.2307284 Chen, 2013, Nonpure Petri Net supervisors for optimal deadlock control of flexible manufacturing systems, IEEE Trans. Syst. Man Cybern. Syst., 43, 252, 10.1109/TSMCA.2012.2202108 Chen, 2015, On enforcement of a class of nonlinear constraints on Petri Nets, Automatica, 55, 116, 10.1016/j.automatica.2015.02.014 Chen, 2014, Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems, Inf. Sci., 256, 74, 10.1016/j.ins.2013.07.021 Chen, 2010, Design of a maximally permissive liveness-enforcing petri net supervisor for flexible manufacturing systems, IEEE Trans. Autom. Sci. Eng., 8, 374, 10.1109/TASE.2010.2060332 Chen, 2012, On structural minimality of optimal supervisors for flexible manufacturing systems, Automatica, 48, 2647, 10.1016/j.automatica.2012.06.068 Chen, 2014, Optimal supervisory control of flexible manufacturing systems by petri nets: a set classification approach, IEEE Trans. Autom. Sci. Eng., 11, 549, 10.1109/TASE.2013.2241762 Chen, 2011, Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems, Automatica, 47, 1028, 10.1016/j.automatica.2011.01.070 Chen, 2012, Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 42, 615, 10.1109/TSMCA.2011.2169956 Cho, 1995, Graph-theoretic deadlock detection and resolution for flexible manufacturing systems, IEEE Trans. Robot. Autom., 11, 413, 10.1109/70.388784 Chu, 1997, Deadlock analysis of petri nets using siphons and mathematical programming, IEEE Trans. Robot. Autom., 13, 793, 10.1109/70.650158 Ezpeleta, 2002, A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states, IEEE Trans. Robot. Autom., 18, 621, 10.1109/TRA.2002.801048 Ezpeleta, 1995, A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Trans. Robot. Autom., 11, 173, 10.1109/70.370500 Fanti, 1997, Event-based feedback control for deadlock avoidance in flexible production systems, IEEE Trans. Robot. Autom., 13, 347, 10.1109/70.585898 Fanti, 2004, Deadlock control methods in automated manufacturing systems, IEEE Trans. Syst. Man Cybern. A Syst. Human., 34, 5, 10.1109/TSMCA.2003.820590 Ferrarini, 1998, Deadlock avoidance control for manufacturing systems with multiple capacity resources, Int. J. Adv. Manuf. Technol., 14, 729, 10.1007/BF01438225 A. Ghaffari, N. Rezg, X.L. Xie, Design of a live and maximally permissive petri net controller using the theory of regions, IEEE Trans. Robot. Autom., 19 (203) 137-141. Han, 2005, Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems, Int. J. Adv. Manuf. Technol., 25, 735, 10.1007/s00170-003-1907-4 Hou, 2014, Extended elementary siphons and their application to liveness-enforcement of generalized petri nets, Asian J. Control, 16, 1798, 10.1002/asjc.801 Hu, 2012, Liveness and ratio-enforcing supervision of automated manufacturing systems using petri nets, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 42, 392, 10.1109/TSMCA.2011.2162502 Hu, 2011, Supervisor optimization for deadlock resolution in automated manufacturing systems with petri nets, IEEE Trans. Autom. Sci. Eng., 8, 794, 10.1109/TASE.2011.2156783 Hu, 2013, Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using petri nets, IEEE Trans. Ind. Inf., 9, 109, 10.1109/TII.2012.2198661 Hu, 2011, Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 41, 201, 10.1109/TSMCA.2010.2058101 Hu, 2009, Liveness enforcing supervision in video streaming systems using siphons, J. Inf. Sci. Eng., 25, 1863 Hu, 2009, Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs, Comput. Ind. Eng., 57, 1168, 10.1016/j.cie.2009.05.006 Hu, 2008, An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems, Int. J. Adv. Manuf. Technol., 38, 309, 10.1007/s00170-007-1110-0 Hu, 2014, Service net algebra based on logic Petri nets, Inf. Sci., 268, 271, 10.1016/j.ins.2013.10.014 Huang, 2001, Deadlock prevention based on petri nets and siphons, Int. J. Prod. Res., 39, 283, 10.1080/00207540010002405 Huang, 2007, Deadlock prevention for sequence resource allocation systems, J. Inf. Sci. Eng., 23, 215 Huang, 2006, Siphon-based deadlock prevention policy for flexible manufacturing systems, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 36, 1248, 10.1109/TSMCA.2006.878953 Huang, 2010, Synthesis of deadlock prevention policy using petri nets reachability graph technique, Asian J. Control, 12, 336, 10.1002/asjc.188 Huang, 2013, Transition-based deadlock detection and recovery policy for FMSs using graph technique, ACM Trans. Embedded Comput. Syst., 12, 10.1145/2406336.2406347 Huang, 2007, Design of deadlock prevention supervisors using Petri nets, Int. J. Adv. Manuf. Technol., 35, 349, 10.1007/s00170-006-0708-y Hsieh, 1994, Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems, IEEE Trans. Robot. Autom., 10, 196, 10.1109/70.282544 INA, 31.07.2003, Integrated Net Analyzer, a software tool for analysis of Petri nets, Version 2.2. Posted at URL: http://www.informatik.hu-berlin.de/∼starke/ina.html. Jeng, 2004, ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 34, 102, 10.1109/TSMCA.2003.820579 Khalgui, 2011, Reconfigurable multi-agent embedded control systems: from modelling to implementation, IEEE Trans. Comput., 60, 538, 10.1109/TC.2010.96 Lawley, 1999, Deadlock avoidance for production systems with flexible routing, IEEE Trans. Robot. Autom., 15, 497, 10.1109/70.768182 Lawley, 1998, A correct and scalable deadlock avoidance policy for flexible manufacturing systems, IEEE Trans. Robot. Autom., 14, 796, 10.1109/70.720355 Lawley, 1997, Design guidelines for deadlock handling strategies in flexible manufacturing systems, Int. J. Flexible Manuf. Syst., 9, 5, 10.1023/A:1007937925728 Li, 2007, Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets, IEEE Trans. Syst. Man Cybern. C Appl. Rev., 37, 517, 10.1109/TSMCC.2007.897333 Li, 2008, Control of elementary and dependent siphons in Petri nets and their application, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 38, 133, 10.1109/TSMCA.2007.909548 Li, 2008, A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions, IEEE Trans. Autom. Sci. Eng., 5, 182, 10.1109/TASE.2006.884674 Li, 2008, A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems, IEEE Trans. Syst. Man Cybern. C Appl. Rev., 38, 173, 10.1109/TSMCC.2007.913920 Li, 2008, On controllability of dependent siphons for deadlock prevention in generalized Petri nets, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 38, 369, 10.1109/TSMCA.2007.914741 Li, 2006, Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets, IEEE Trans. Ind. Inf., 2, 313, 10.1109/TII.2006.885185 Li, 2009, A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems, IEEE Trans. Syst. Man Cybern. C Appl. Rev., 39, 156, 10.1109/TSMCC.2008.2007246 Li, 2004, Comments on “deadlock prevention policy based on petri nets and siphons”, Int. J. Prod. Res., 42, 5253, 10.1080/00207540412331330822 Li, 2004, Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 34, 38, 10.1109/TSMCA.2003.820576 Li, 2007, Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems, IET Control Theory Appl., 1, 955, 10.1049/iet-cta:20060218 Li, 2009 Li, 2006, Clarifications on the definitions of elementary siphons in petri nets, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 36, 1227, 10.1109/TSMCA.2006.878966 Li, 2008, On siphon computation for deadlock control in a class of Petri nets, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 38, 667, 10.1109/TSMCA.2008.918605 Li, 2012, Deadlock control of automated manufacturing systems based on petri nets – a literature review, IEEE Trans. Syst. Man Cybern. C Appl. Rev., 42, 437, 10.1109/TSMCC.2011.2160626 Liu, 2011, Improved sufficient condition for the controllability of dependent siphons in system of simple sequential processes with resources, IET Control Theory Appl., 5, 1059, 10.1049/iet-cta.2010.0195 Liu, 2010, Two simple deadlock prevention policies for (SPR)-P-3 based on key-resource/operation-place pairs, IEEE Trans. Autom. Sci. Eng., 7, 945, 10.1109/TASE.2010.2050059 Liu, 2015, Necessary and sufficient liveness condition of GS3PR petri nets, Int. J. Syst. Sci., 46, 1147, 10.1080/00207721.2013.827257 Liu, 2010, New controllability condition for siphons in a class of generalised petri nets, IET Control Theory Appl., 4, 854, 10.1049/iet-cta.2009.0264 Liu, 2013, Robustness of deadlock control for a class of Petri nets with unreliable resources, Inf. Sci., 235, 259, 10.1016/j.ins.2013.01.003 Ma, 2015, Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints, IEEE Trans. Autom. Control, 60, 1774, 10.1109/TAC.2015.2389313 Murata, 1989, Petri nets: properties, analysis and application, Proc. IEEE, 44, 541, 10.1109/5.24143 Park, 2000, Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems, IEEE Trans. Robot. Autom., 16, 190, 10.1109/70.843175 Park, 2001, Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings, IEEE Trans. Autom. Control, 46, 1572, 10.1109/9.956052 Piroddi, 2009, A resource decoupling approach for deadlock prevention in FMS, Int. J. Adv. Manuf. Technol., 40, 157, 10.1007/s00170-007-1319-y Piroddi, 2009, Combined siphon and marking generation for deadlock prevention in petri nets, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 39, 650, 10.1109/TSMCA.2009.2013189 Piroddi, 2008, Selective siphon control for deadlock prevention in petri nets, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 38, 1337, 10.1109/TSMCA.2008.2003535 Reveliotis, 2010, Correctness verification of generalized algebraic deadlock avoidance policies through mathematical programming, IEEE Trans. Autom. Sci. Eng., 7, 240, 10.1109/TASE.2009.2022985 Reveliotis, 2007, Generalized algebraic deadlock avoidance policies for sequential resource allocation systems, IEEE Trans. Autom. Control, 52, 2345, 10.1109/TAC.2007.910701 Tricas, 1998, A structural approach to the problem of deadlock prevention in processes with resources, 273 Tricas, 2000, An iterative method for deadlock prevention in FMS, 139 Uzam, 2007, An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 37, 362, 10.1109/TSMCA.2007.893484 Uzam, 2006, An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems, Int. J. Prod. Res., 44, 1987, 10.1080/00207540500431321 Uzam, 2004, Iterative synthesis of petri net based deadlock prevention policy for flexible manufacturing systems, 4260 Uzam, 2004, The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems, Int. J. Adv. Manuf. Technol., 23, 204, 10.1007/s00170-002-1526-5 Uzam, 2014, A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems, J. Intell. Manuf., 10.1007/s10845-014-0938-z Uzam, 2015, Think-globally-act-locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets, Accepted for publication, Int. J. Prod. Res., 10.1080/00207543.2015.1098785 Uzam, 2007, Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS, Int. J. Adv. Manuf. Technol., 35, 150, 10.1007/s00170-006-0701-5 Uzam, 2002, An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions, Int. J. Adv. Manuf. Technol., 19, 192, 10.1007/s001700200014 Vázquez-Barreiros, 2015, ProDiGen: mining complete, precise and minimal structure process models with a genetic algorithm, Inf. Sci., 294, 315, 10.1016/j.ins.2014.09.057 Visvanadham, 1990, Deadlock prevention and deadlock avoidance in flexible manufacturing systems using petri net models, IEEE Trans. Robot. Autom., 6, 713, 10.1109/70.63257 Wang, 2012, Controllability conditions of resultant siphons in a class of petri nets, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 42, 1206, 10.1109/TSMCA.2011.2170419 Wang, 2012, A method to compute strict minimal siphons in a class of petri nets based on loop resource subsets, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 42, 226, 10.1109/TSMCA.2011.2159590 Wang, 2015, Dynamic low-power reconfiguration of real-time systems with periodic and probabilistic tasks, IEEE Trans. Autom. Sci. Eng., 12, 258, 10.1109/TASE.2014.2309479 Wang, 2009, An effective algorithm to find elementary siphons in a class of petri nets, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 39, 912, 10.1109/TSMCA.2009.2019880 Wang, 2012, Iterative deadlock control by using petri nets, IEEE Trans. Syst. Man Cybern. C Appl. Rev., 42, 1204, 10.1109/TSMCC.2012.2189385 Wei, 2008, On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions, Int. J. Adv. Manuf. Technol., 38, 195, 10.1007/s00170-007-1074-0 Wu, 2005, Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles, IEEE Trans. Syst. Man Cybern. B Cybern., 35, 1193, 10.1109/TSMCB.2005.850141 Wu, 2004, Modeling and deadlock control of automated guided vehicle systems, IEEE/ASME Trans. Mechatron., 9, 50, 10.1109/TMECH.2004.823875 Wu, 2007, Shortest routing of bi-directional automated guided vehicles avoiding deadlock and blocking, IEEE/ASME Trans. Mechatron., 12, 63, 10.1109/TMECH.2006.886255 Wu, 2001, Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a petri net model, IEEE Trans. Robot. Autom., 17, 658, 10.1109/70.964666 Wu, 2007, Deadlock resolution in automated manufacturing systems with robots, IEEE Trans. Autom. Sci. Eng., 4, 474, 10.1109/TASE.2006.888049 Wu, 2013, One-step look-ahead maximally permissive deadlock control of AMS by using petri net, ACM Trans. Embedded Comput. Syst., 12, 1, 10.1145/2406336.2406346 Wu, 2011, Intelligent token petri nets for modeling and control of reconfigurable automated manufacturing systems with dynamical changes, Trans. Inst. Meas. Control, 33, 9, 10.1177/0142331208095622 Wu, 2010, Process vs resource-oriented petri net modeling of automated manufacturing systems, Asian J. Control, 12, 267, 10.1002/asjc.184 Wu, 2008, Resource-oriented petri net for deadlock avoidance in flexible assembly systems, IEEE Trans. Syst. Man Cybern. A Syst. Humans, 38, 56, 10.1109/TSMCA.2007.909542 Wu, 2015, Short-Term Scheduling of Crude-Oil Operations: Petri Net-Based Control-Theoretic Approach, IEEE Robot. Autom Mag., 22, 64, 10.1109/MRA.2015.2415047 Wu, 1999, Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored petri net model, IEEE Trans. Syst. Man Cybern. C Appl. Rev., 29, 192, 10.1109/5326.760564 Wysk, 1994, Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches, J. Manuf. Syst., 13, 128, 10.1016/0278-6125(94)90028-0 Xing, 1995, Deadlock avoidance policy for flexible manufacturing systems Xing, 1996, Deadlock avoidance policy for petri-net modelling of flexible manufacturing systems with shared resources, IEEE Trans. Autom. Control, 41, 289, 10.1109/9.481550 Yamalidou, 1996, Feedback control of petri nets based on place invariants, Automatica, 32, 15, 10.1016/0005-1098(95)00103-4 Yan, 2009, A deadlock prevention policy for a class of petri nets S3PMR*, J. Inf. Sci. Eng., 25, 167 Ye, 2015, Decentralized supervision of petri nets with a coordinator, IEEE Trans. Syst. Man Cybern. Syst., 45, 955, 10.1109/TSMC.2014.2373316 Zhao, 2009, On deadlock control for a class of generalised Petri net models of flexible manufacturing systems, Int. J. Prod. Res., 47, 6085, 10.1080/00207540802101945 Zhao, 2013, An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming, Discrete Event Dyn. Syst. Theory Appl., 23, 3, 10.1007/s10626-011-0124-9 Zhao, 2010, Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming, Int. J. Control, 83, 2053, 10.1080/00207179.2010.504785 Zhao, 2010, Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming, Int. J. Syst. Sci., 41, 1013, 10.1080/00207720903171779 Zhang, 2015, Reconfigurable coordination of distributed discrete event control systems, IEEE Trans. Control Syst. Technol., 232, 323, 10.1109/TCST.2014.2313352 Zhang, 2013, R-TNCES: a novel formalism for reconfigurable discrete event control systems, IEEE Trans. Syst. Man Cybern. Syst., 43, 757, 10.1109/TSMCA.2012.2217321 Zhang, 2013, Reachability analysis of a class of Petri nets using place invariants and siphons, Maejo Int. J. Sci. Technol., 7, 278 Zhong, 2011, Monitor design for siphon control in S4R nets: from structure analysis points of view, Int. J. Innovative Comput. Inf. Control, 7, 6677 Zhong, 2009, A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models, Eng. Comput., 25, 269, 10.1007/s00366-008-0122-1 Zhong, 2013, On nonexistence of a maximally permissive liveness-enforcing pure net supervisor, IEEE Trans. Syst. Man Cybern. Syst., 43, 29, 10.1109/TSMCA.2012.2192923