NUPN_INFO

swMATH29137MaRDI QIDQ40851FDOQ40851

Author name not available (Why is that?)

Official website: http://cadp.inria.fr/man/nupn_info.html

Described by source

• Nested-unit Petri nets

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