Pages that link to "Item:Q5282376"
From MaRDI portal
The following pages link to Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems (Q5282376):
Displaying 5 items.
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Resource failure and buffer space allocation control for automated manufacturing systems (Q2195353) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems (Q5165335) (← links)
- Complete inference via knowledge Petri nets and resolution rules (Q6564892) (← links)