Pages that link to "Item:Q4506556"
From MaRDI portal
The following pages link to Net structure and control logic synthesis of controlled Petri nets (Q4506556):
Displayed 4 items.
- Supervision based on place invariants: a survey (Q858151) (← links)
- Linear control of live marked graphs (Q1868050) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets (Q5460613) (← links)