Petriweb

swMATH14835MaRDI QIDQ26731FDOQ26731

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F11767589_24

Cited In (12)

• Nested-unit Petri nets
• On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
• Renew
• Metatool
• CLPGUI
• Yasper
• caesar.bdd
• LOEWE
• NUPN_INFO
• PNML2NUPN
• PNMC
• Model Driven Testing Based on Test History

This page was built for software: Petriweb