Short Course: Modelling and Analysis of Biomolecular Networks with Petri Nets
Modelling and Analysis of Biomolecular Networks with Petri Nets
Prof. Dr.-Ing. Monika Heiner
Branderburg University of Technology at Cottbus
Dept of Computer Science
Content
1. Framework.
How do typical models look like? What modelling features do we need?
The framework integrating three modelling paradigms: qualitative Petri
nets (qpn), stochastic Petri nets (spn) and continuous Petri nets (cpn).
2. Petri net classes in use. Precise definitions, with emphasis on
special features motivated by the biochemical interpretation. How to
bring some colour into our lives?
3. Structural analysis: or how p/t invariants contribute to model
analysis, overview on various approaches.
4. Model checking: Analytical and simulative model checking in the three
paradigms
5. Open problems 1: relations between qualitative and time Petri nets
6. Open problems 2: relations between qpn-spn-cpn.