DSSZ-MC

MaRDI QIDQ14100swMATHFDO

Official website http://www-dssz.informatik.tu-cottbus.de/indexe.html?/software/mc.html

Cited in

(7)

• Computing a hierarchical static order for decision diagram-based representation from P/T nets
• IDD-based model validation of biochemical networks
• ZBDD
• MoVisPP
• Preface: Petri nets for systems and synthetic biology
• How Petri nets might enhance your systems biology toolkit
• Preface: Petri nets for systems and synthetic biology

This page was built for software: DSSZ-MC