Short Course: Modelling and Analysis of Biomolecular Networks with Petri Nets

Mon, 22/02/2010 (All day) - Wed, 24/02/2010 (All day)

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.

Access to the slides.

Location: 
Seminario del Departamento
Edificio Ada Byron, María de Luna 1 Zaragoza
Spain