www.prismmodelchecker.org
[HGD08] M. Heiner, D. Gilbert and R. Donaldson. Petri Nets for Systems and Synthetic Biology. In Formal Methods for Computational Systems Biology, volume 5016 of LNCS, pages 215-264, Springer. 2008. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications