swMATH29140MaRDI QIDQ40854FDOQ40854
Author name not available (Why is that?)
Official website: https://sourceforge.net/projects/meddly/
Cited In (19)
- TBUDDY
- Nested-unit Petri nets
- A lazy query scheme for reachability analysis in Petri nets
- A CTL* Model Checker for Petri Nets
- Galileo
- GreatSPN
- SMART_
- LoLA
- Renew
- BuDDy
- BlockSim
- Petriweb
- caesar.bdd
- ITS-Tools
- LOEWE
- NUPN_INFO
- PNML2NUPN
- PNMC
- Simplification of a complex signal transduction model using invariants and flow equivalent servers
This page was built for software: Meddly
