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