Pages that link to "Item:Q5179054"
From MaRDI portal
The following pages link to Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters (Q5179054):
Displaying 5 items.
- Petri nets properties related to the unboundness and analyzed using coverability multigraph (Q275588) (← links)
- M-nets: a survey (Q1006339) (← links)
- Hierarchical reachability graph generation for Petri nets (Q1871862) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308406) (← links)
- Petri Net Reductions for Counting Markings (Q5883572) (← links)