Implementation of generalized mutual exclusion constraints using critical places and marking estimation
Generalized mutual exclusion constraints (GMECs) are a class of state specifications on Petri nets (PNs). They are generally enforced on the nets by a simple control structure called control places (monitors). Unfortunately, this conventional procedure is implemented in an offline and monolithic man...
Main Authors: | Yang, Benyuan, Hu, Hesuan |
---|---|
Other Authors: | School of Computer Science and Engineering |
Format: | Journal Article |
Language: | English |
Published: |
2022
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/159948 |
Similar Items
-
Time-varying automated manufacturing systems and their invariant-based control : a petri net approach
by: Chen, Chen, et al.
Published: (2019) -
Liveness-enforcing supervision in AMS-Oriented HAMGs : an approach based on new characterization of siphons using Petri nets
by: Chen, Chen, et al.
Published: (2020) -
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints
by: Kohei Fujita, et al.
Published: (2022-01-01) -
Automation of petri nets simulation/
by: Nuzulan Naim Zulkipli, 1983-, et al.
Published: (2016) -
Automation of petri nets simulation [electronic resource]/
by: Nuzulan Naim Zulkipli, 1983-
Published: (2016)