The following pages link to (Q2842877):
Displaying 6 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)
- Expand, enlarge and check: new algorithms for the coverability problem of WSTS (Q2581762) (← links)
- Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning (Q3011882) (← links)
- When to Move to Transfer Nets (Q3460877) (← links)
