Pages that link to "Item:Q5854760"
From MaRDI portal
The following pages link to Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs (Q5854760):
Displaying 6 items.
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Probabilistic Marking Estimation in Labeled Petri Nets (Q2982861) (← links)
- (Q3411314) (← links)
- Analyzing Reachability for Some Petri Nets With Fast Growing Markings (Q4982096) (← links)
- State estimation in labeled time Petri net systems using observed modified state class graph (Q6179959) (← links)
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)