Synthesis of feedback control logic for discrete manufacturing systems
Automatica (Journal of IFAC)
Feedback control of Petri nets based on place invariants
Automatica (Journal of IFAC)
Supervisory Control of Discrete Event Systems Using Petri Nets
Supervisory Control of Discrete Event Systems Using Petri Nets
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Supervision Based on Place Invariants: A Survey
Discrete Event Dynamic Systems
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools
A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Analysis of modularly composed nets by siphons
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
Clarifications on the Definitions of Elementary Siphons in Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Siphon-Based Deadlock Prevention Policy for Flexible 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
Control of Elementary and Dependent Siphons in Petri Nets and Their Application
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Hi-index | 0.00 |
Generalized mutual exclusion constraints (GMECs) are a typical class of specifications for the supervisory control of discrete event systems in a Petri net formalism. This paper classifies the given constraints into elementary and dependent ones according to the linear dependency of their characteristic transition vectors that indicate the token count change of the concerned places. The dependent constraints are further divided into strongly and weakly dependent ones. A constraint is usually enforced by explicitly adding a monitor to a plant model. This research develops the conditions under which a dependent constraint is enforced due to the enforcement of the elementary constraints. The results developed in this paper are applied to the existing manufacturing-oriented Petri net classes. An algorithm is also proposed to identify a set of elementary constraints. Examples are used to demonstrate the proposed methods. Some potential extensions and applications are also discussed. This research improves the existing methods in computational efficiency and structure simplification of the supervisor, given a set of GMECs.