Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. - Luca Bernardinello; Nicola Bonzanni; Marco Mascheroni; Lucia Pomello (Workshop on Membrane Computing, 2007)

Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. - Elzbieta Krepska; Nicola Bonzanni; K. Anton Feenstra; Wan J. Fokkink; Thilo Kielmann; Henri E. Bal; Jaap Heringa (FMSB, 2008)

What Can Formal Methods Bring to Systems Biology? - Nicola Bonzanni; K. Anton Feenstra; Wan J. Fokkink; Elzbieta Krepska (FM, 2009)

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. - Nicola Bonzanni; Elzbieta Krepska; K. Anton Feenstra; Wan J. Fokkink; Thilo Kielmann; Henri E. Bal; Jaap Heringa (Bioinform., 2009)

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. - Nicola Bonzanni; Elzbieta Krepska; K. Anton Feenstra; Wan J. Fokkink; Thilo Kielmann; Henri E. Bal; Jaap Heringa (Bioinform., 2009)

The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in Saccharomyces cerevisiae. - Nicola Bonzanni; Nianshu Zhang; Stephen G. Oliver; Jasmin Fisher (Bioinform., 2011)

Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model. - Nicola Bonzanni; Abhishek Garg; K. Anton Feenstra; Judith Schütte; Sarah Kinston; Diego Miranda-Saavedra; Jaap Heringa; Ioannis Xenarios; Berthold Göttgens (Bioinform., 2013)

Petri Nets Are a Biologist's Best Friend. - Nicola Bonzanni; K. Anton Feenstra; Wan J. Fokkink; Jaap Heringa (FMMB, 2014)

BioASF: a framework for automatically generating executable pathway models specified in BioPAX. - Reza Haydarlou; Annika Jacobsen; Nicola Bonzanni; K. Anton Feenstra; Sanne Abeln; Jaap Heringa (Bioinform., 2016)