Pages that link to "Item:Q4309230"
From MaRDI portal
The following pages link to Blocking and controllability of Petri nets in supervisory control (Q4309230):
Displaying 9 items.
- Control of parameterized discrete event systems (Q839004) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Feedback control of Petri nets based on place invariants (Q1911289) (← links)
- Synthesis of Petri net supervisors enforcing general constraints (Q2508210) (← links)
- Supervisory control of discrete event systems with flexible marking (Q2511869) (← links)
- Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
- Synthesis of controllers for symmetric systems (Q5391450) (← links)
- Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets (Q5460613) (← links)
- Supervisory Control of Petri Nets with Language Specifications (Q5496930) (← links)
