Pages that link to "Item:Q5496930"
From MaRDI portal
The following pages link to Supervisory Control of Petri Nets with Language Specifications (Q5496930):
Displayed 6 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems (Q2127112) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)