An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
Primary LanguageC++BSD 2-Clause "Simplified" LicenseBSD-2-Clause