Plenary Talk: Modeling strategy based on Petri-nets @ Sathyam Hall
Aug 13 @ 9:20 am – 10:00 am

jaapJaap 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.