Pages that link to "Item:Q5266696"
From MaRDI portal
The following pages link to Synthesis of supervisors enforcing general linear constraints in petri nets (Q5266696):
Displaying 8 items.
- Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places (Q857147) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems (Q2293066) (← links)
- Synthesis of Petri net supervisors enforcing general constraints (Q2508210) (← links)
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)
