MARCIE
From MaRDI portal
Cited in
(19)- GreatSPN
- SBML Test Suite
- TAPAAL
- SNOOPY
- Extended dependency graphs and efficient distributed fixed-point computation
- RoVerGeNe
- Charlie
- MC2
- SABRE
- ZBDD
- Improvements in unfolding of colored Petri nets
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- INFAMY
- ITS-Tools
- Visual DSD
- A Petri-net-based framework for biomodel engineering
- Computing cumulative rewards using fast adaptive uniformization
- Model checking of biological systems
- Repeatability package
This page was built for software: MARCIE
