swMATH1360MaRDI QIDQ14100FDOQ14100
Author name not available (Why is that?)
Official website: http://www-dssz.informatik.tu-cottbus.de/indexe.html?/software/mc.html
Cited In (7)
- IDD-based model validation of biochemical networks
- Preface: Petri nets for systems and synthetic biology
- How Petri nets might enhance your systems biology toolkit
- ZBDD
- MoVisPP
- Preface: Petri nets for systems and synthetic biology
- Computing a hierarchical static order for decision diagram-based representation from P/T nets
This page was built for software: DSSZ-MC
