Petriweb

swMATH14835MaRDI QIDQ26731FDOQ26731

Author name not available (Why is that?)

Cited In (3)

• Nested-unit Petri nets
• On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
• Model Driven Testing Based on Test History

This page was built for software: Petriweb