Pages that link to "Item:Q5347911"
From MaRDI portal
The following pages link to Approach for Transforming Linear Constraints on Petri Nets (Q5347911):
Displaying 3 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)
