Pages that link to "Item:Q5347911"
From MaRDI portal
The following pages link to Approach for Transforming Linear Constraints on Petri Nets (Q5347911):
Displaying 10 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
- Compositional synthesis of supervisors in the form of state machines and state maps (Q503186) (← links)
- On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net (Q2058574) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources (Q2279729) (← links)
- Programmable‐logical‐controllers Synthesis for Automated‐guided‐vehicle Systems Using Ordinary Petri Nets (Q5177191) (← links)
- Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets (Q5177194) (← links)