Petriweb

MaRDI QIDQ26731swMATHFDO

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

Cited in

(13)

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

This page was built for software: Petriweb