Springer
Lecture notes in bioinformatics
Workshop on Formal Methods for Systems Biology
Software Analysis and Transformation

Krepska, E., Bonzanni, N., Feenstra, A., Kielmann, T., Fokkink, W., Bal, H.& Heeringa, J. (2008). Design issues for qualitative modelling of biological cells with Petri nets. Proc. 1st Workshop on Formal Methods for Systems Biology, 48–62.