www.prismmodelchecker.org
[RMH10] C. Rohr, W. Marwan and M. Heiner. Snoopy - A unifying Petri net framework to investigate biomolecular networks. Bioinformatics, 26(7), pages 974-975. 2010. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications