Pages that link to "Item:Q2508210"
From MaRDI portal
The following pages link to Synthesis of Petri net supervisors enforcing general constraints (Q2508210):
Displaying 4 items.
- Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
- Equivalent transformation of nonlinear constraints to linear constraints in Petri nets (Q1666226) (← links)
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions (Q4684051) (← links)