Pages that link to "Item:Q2060875"
From MaRDI portal
The following pages link to Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875):
Displaying 4 items.
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)
- Duality of controllability and observability in proportional equal conflict timed continuous Petri nets (Q6551632) (← links)
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems (Q6658942) (← links)
