Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Petri Nets in Flexible and Agile Automation
Petri Nets in Flexible and Agile Automation
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
On Liveness and Controlled Siphons in Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
A new class of Petri nets for modeling and control of ratio-enforced resource allocation systems
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Automatica (Journal of IFAC)
System Modeling and Control with Resource-Oriented Petri Nets
System Modeling and Control with Resource-Oriented Petri Nets
On the equivalence between liveness and deadlock-freeness in petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Erratum: Erratum to "Liveness of an extended S3PR " [Automatica 46 (2010) 1008-1018]
Automatica (Journal of IFAC)
Comparing digraph and Petri net approaches to deadlock avoidance inFMS
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Deadlock control methods in automated manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems
Automatica (Journal of IFAC)
Hi-index | 22.14 |
The work proposes a synthesis method of supervisors for flexible manufacturing systems modeled by a class of generalized Petri nets. A concept of resource usage ratios (RU-ratios) is first presented to describe the occupation degree of a resource by an operation. Next, an intrinsically live structure characterized by a special numerical relationship between arc-weights and initial markings is investigated from a perspective of RU-ratios. Then, a new kind of supervisors is synthesized on the ground of the generic nature of the intrinsically live structure. Such a supervisor can achieve the purposes of both liveness-enforcement and resource usage ratio-enforcement of the system under consideration. Given a plant, it is easy to determine the topological structure of such a supervisor and the number of monitors is bounded by that of resources used in the plant. In addition, when the configuration of the plant model changes, the supervisor can be reusable through adjusting control parameters only without rearrangement of connections. This makes it easy enough and intuitive to be used by industrial practitioners. Instead of maximal behavioral permissiveness, it pursues a precise usage of shared resources that are limited and valuable. Several examples are used to illustrate the proposed methods.