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