swMATH4416MaRDI QIDQ16592FDOQ16592
Author name not available (Why is that?)
Official website: http://homepages.cs.ncl.ac.uk/victor.khomenko/tools/tools.html
Cited In (13)
- Structure-based deadlock checking of asynchronous circuits
- Goal-driven unfolding of Petri nets
- Unfoldings: A partial-order approach to model checking.
- Efficient unfolding of contextual Petri nets
- M-nets: a survey
- 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
