swMATH29141MaRDI QIDQ40855FDOQ40855
Author name not available (Why is that?)
Official website: http://cadp.inria.fr/man/caesar.bdd.html
Cited In (16)
- Accelerating the computation of dead and concurrent places using reductions
- Nested-unit Petri nets
- Automatic decomposition of Petri nets into automata networks -- a synthetic account
- Efficient algorithms for three reachability problems in safe Petri nets
- PROD
- TINA
- libDDD
- Helena
- Renew
- Petriweb
- CAESAR
- LOEWE
- NUPN_INFO
- 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: caesar.bdd
