Jaap Heringa, Ph.D.
Director & Professor of Bioinformatics, IBIVU VU University Amsterdam, The Netherlands
Modeling strategy based on Petri-nets
In my talk I will introduce a formal modeling strategy based on Petri-nets, which are a convenient means of modeling biological processes. I will illustrate the capabilities of Petri-nets as reasoning vehicles using two examples: Haematopoietic stem cell differentiation in mice, and vulval development in C. elegance. The first system was modeled using a Boolean implementation, and the second using a coarse-grained multi-cellular Petri-net model. Concepts such as the model state space, attractor states, and reasoning to adapt the model to the biological reality will be discussed.