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. In Proc. 1st Workshop on Formal Methods for Systems Biology (pp. 48–62). Springer.