Pages that link to "Item:Q5496930"
From MaRDI portal
The following pages link to Supervisory Control of Petri Nets with Language Specifications (Q5496930):
Displaying 11 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- A language measure for supervisory control (Q1431960) (← 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)
- Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models (Q2350813) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Decidability and closure properties of weak Petri net languages in supervisory control (Q4841496) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)