Design Issues for Qualitative Modelling of Biological Cells with Petri Nets

DOI10.1007/978-3-540-68413-8_4zbMath1375.92020OpenAlexW1510249251MaRDI QIDQ3506866

Nicola Bonzanni, Jaap Heringa, Anton Feenstra, H. E. Bal, Elzbieta Krepska, Thilo Kielmann, W. J. Fokkink

Publication date: 17 June 2008

Published in: Formal Methods in Systems Biology (Search for Journal in Brave)

Full work available at URL: https://research.vu.nl/ws/files/2407523/219540.pdf

zbMATH Keywords

Petri netsexecution semantics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cell biology (92C37) Systems biology, networks (92C42)

Related Items (2)

Step coverability algorithms for communicating systems ⋮ Modeling biological gradient formation: combining partial differential equations and Petri nets

Cites Work

• Unnamed Item
• The Petri Net Markup Language
• Membrane Computing
• Executable Petri net models for the analysis of metabolic pathways

This page was built for publication: Design Issues for Qualitative Modelling of Biological Cells with Petri Nets