Pages that link to "Item:Q2665360"
From MaRDI portal
The following pages link to Marking diagnosability verification in labeled Petri nets (Q2665360):
Displaying 4 items.
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Diagnosability of fault patterns with labeled stochastic Petri nets (Q6190046) (← links)
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)
