Cited in
(14)- Accelerating the computation of dead and concurrent places using reductions
- PROD
- libDDD
- Helena
- Renew
- Petriweb
- Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
- CAESAR
- caesar.bdd
- LOEWE
- PNML2NUPN
- PNMC
- Automatic decomposition of Petri nets into automata networks -- a synthetic account
- Efficient algorithms for three reachability problems in safe Petri nets
This page was built for software: NUPN_INFO
