Cited in
(15)- M-nets: a survey
- Structure-based deadlock checking of asynchronous circuits
- Decompositional Petri Net Reductions
- Efficient unfolding of contextual Petri nets
- Verification of Petri nets with read arcs
- Infinite Process Semantics of Inhibitor Nets
- POEM
- Maria
- PetriNets
- Cunf
- Mole
- PEP
- Goal-driven unfolding of Petri nets
- Efficient Contextual Unfolding
- Unfoldings: A partial-order approach to model checking.
This page was built for software: Punf
