Pages that link to "Item:Q1581036"
From MaRDI portal
The following pages link to Control synthesis of Petri nets based on \(S\)-decreases (Q1581036):
Displaying 7 items.
- A polynomial dynamic system approach to software design for attractivity requirement (Q881898) (← links)
- Linear control of live marked graphs (Q1868050) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- The fundamental closed-form solution of control-related states of<i>k</i>th order S3PR system with left-side non-sharing resource places of Petri nets (Q2792707) (← links)
- Supervisory control based on minimal cuts and Petri net sub-controllers coordination (Q2821354) (← links)
- (Q4549628) (← links)