An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets

Siphons, as a structural object of Petri nets (PNs), are closely related to deadlock-freedom in PNs. Efficient siphon computation is of great importance in developing siphon-based deadlock control strategies with good performance. This paper is concerned with the enumeration of minimal siphons in a subclass of PNs called systems of sequential systems with shared resources (S4PR). First, a method with polynomial complexity is proposed to decide whether a subset of resource places can generate a minimal siphon. Next, by utilizing the technique of problem partitioning, we develop an approach to compute all minimal siphons in S4PR. The proposed approach is illustrated by an example and its advantage is finally demonstrated via a comparison with other approaches.

[1]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[2]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[3]  Alessandro Giua,et al.  Diagnosability of Discrete-Event Systems Using Labeled Petri Nets , 2014, IEEE Transactions on Automation Science and Engineering.

[4]  Alessandro Giua,et al.  Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[5]  Stéphane Lafortune,et al.  SAT-Based Control of Concurrent Software for Deadlock Avoidance , 2015, IEEE Transactions on Automatic Control.

[6]  Guanjun Liu.  Complexity of the deadlock problem for Petri nets modeling resource allocation systems , 2016, Inf. Sci..

[7]  Zhiwu Li,et al.  Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufacturing systems , 2011 .

[8]  MengChu Zhou,et al.  Modeling and Validating E-Commerce Business Process Based on Petri Nets , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[9]  Hongye Su,et al.  An improved approach to test diagnosability of bounded petri nets , 2017, IEEE/CAA Journal of Automatica Sinica.

[10]  MengChu Zhou,et al.  Synthesis of Petri net supervisors for FMS via redundant constraint elimination , 2015, Autom..

[11]  Roberto Cordone,et al.  Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[12]  MengChu Zhou,et al.  Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[13]  MengChu Zhou,et al.  Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[14]  MengChu Zhou,et al.  A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations , 2015, IEEE Transactions on Control Systems Technology.

[15]  Daniel Yuh Chao.  Searching Strick Minimal Siphons for SNC-Based Resource Allocation Systems , 2007, J. Inf. Sci. Eng..

[16]  Haitao Yuan,et al.  A Petri Net Method for Compatibility Enforcement to Support Service Choreography , 2016, IEEE Access.

[17]  Jian Yang,et al.  Speedup Techniques for Multiobjective Integer Programs in Designing Optimal and Structurally Simple Supervisors of AMS , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[18]  MengChu Zhou,et al.  A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR , 2017, IEEE Transactions on Automatic Control.

[19]  Zhiwu Li,et al.  Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions , 2017, IEEE Access.

[20]  Carla Seatzu,et al.  A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[21]  Kamel Barkaoui,et al.  A survey of siphons in Petri nets , 2016, Inf. Sci..

[22]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete event systems, a net unfolding approach , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[23]  Erwin R. Boer,et al.  Generating basis siphons and traps of Petri nets using the sign incidence matrix , 1994 .

[24]  Fernando TricasJos,et al.  Using the incidence matrix in an evolutionary algorithm for Computing minimal siphons in Petri net models , 2014 .

[25]  Kamel Barkaoui,et al.  Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[26]  MengChu Zhou,et al.  Optimal Scheduling of Complex Multi-Cluster Tools Based on Timed Resource-Oriented Petri Nets , 2016, IEEE Access.

[27]  MengChu Zhou,et al.  Computation of strict minimal siphons in a class of Petri nets based on problem decomposition , 2017, Inf. Sci..

[28]  MengChu Zhou,et al.  Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[29]  周孟初.  Synthesis of Monitor-based Liveness-Enforcing Supervisors for S3PR With ξ-Resources , 2015 .

[30]  MengChu Zhou,et al.  Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks , 2016, IEEE Transactions on Intelligent Transportation Systems.

[31]  MengChu Zhou,et al.  On Siphon Computation for Deadlock Control in a Class of Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[32]  Zhiwu Li,et al.  Decentralized Supervision of Petri Nets With a Coordinator , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[33]  Xiaoyu Lu,et al.  Hybrid Petri nets for modeling and analysis of microgrid systems , 2016, IEEE/CAA Journal of Automatica Sinica.

[34]  MengChu Zhou,et al.  Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[35]  Chengying Wang,et al.  Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm , 2016, Inf. Sci..

[36]  Naiqi Wu,et al.  System Modeling and Control with Resource-Oriented Petri Nets , 2009 .

[37]  X. Xie,et al.  Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2006, IEEE Trans. Syst. Man Cybern. Part A.

[38]  K. Barkaoui,et al.  A deadlock prevention method for a class of FMS , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[39]  Elia E. Cano,et al.  An algorithm to compute the minimal siphons in S4PR nets , 2010, WODES.

[40]  MengChu Zhou,et al.  Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach , 2015, IEEE Robotics & Automation Magazine.

[41]  Roberto Cordone,et al.  Enumeration algorithms for minimal siphons in Petri nets based on place constraints , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[42]  Dong Li-da Zhu Dan Zhu Cheng-cheng Xu Shan-shan.  Method to compute minimal siphons in S4PR nets , 2013 .

[43]  MengChu Zhou,et al.  Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns , 2016, IEEE Transactions on Automation Science and Engineering.

[44]  MengChu Zhou,et al.  A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[45]  MengChu Zhou,et al.  A Branching-Process-Based Method to Check Soundness of Workflow Systems , 2016, IEEE Access.

[46]  MengChu Zhou,et al.  Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets , 2013, IEEE Transactions on Industrial Informatics.

[47]  MengChu Zhou,et al.  Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).