libDDD
From MaRDI portal
LibDDD
Cited in
(16)- Nested-unit Petri nets
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
- Hierarchical Set Decision Diagrams and Regular Models
- GreatSPN
- Renew
- Crocodile
- Petriweb
- caesar.bdd
- LOEWE
- NUPN_INFO
- PNML2NUPN
- PNMC
- Möbius
- Hierarchical Set Decision Diagrams and Automatic Saturation
- Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
- Abstract interpretation of dynamics of biological regulatory networks
This page was built for software: libDDD