swMATH12882MaRDI QIDQ24806FDOQ24806
Author name not available (Why is that?)
Official website: http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Marcie
Cited In (19)
- Repeatability package
- 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
- SBML Test Suite
- Improvements in unfolding of colored Petri nets
This page was built for software: MARCIE
