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