Pages that link to "Item:Q2842877"
From MaRDI portal
The following pages link to Monotonic extensions of Petri nets: forward and backward search revisited (Q2842877):
Displaying 8 items.
- On-line monitoring of large Petri net models under partial observation (Q732251) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties (Q2197578) (← links)
- Expand, enlarge and check: new algorithms for the coverability problem of WSTS (Q2581762) (← links)
- Extensions to the CEGAR Approach on Petri Nets (Q2937547) (← links)
- Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning (Q3011882) (← links)
- When to Move to Transfer Nets (Q3460877) (← links)