Pages that link to "Item:Q4361121"
From MaRDI portal
The following pages link to On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets (Q4361121):
Displayed 7 items.
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)
- Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach (Q955699) (← links)
- Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets (Q2489594) (← links)
- (Q3621937) (← 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)