PNMC

swMATH29139MaRDI QIDQ40853FDOQ40853

Author name not available (Why is that?)

Official website: https://www.springerprofessional.de/a-symbolic-model-checker-for-petri-nets-pnmc/10642134

Cited In (8)

• Nested-unit Petri nets
• libDDD
• Renew
• Petriweb
• caesar.bdd
• LOEWE
• NUPN_INFO
• PNML2NUPN

This page was built for software: PNMC