When:
13/08/2013 @ 9:20 am – 10:00 am
2013-08-13T09:20:00+05:30
2013-08-13T10:00:00+05:30
Where:
Sathyam Hall
Amrita University
Amritapuri, Vallikavu, Kerala 690525
India

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.

Plenary Talk: Modeling strategy based on Petri-nets