edit SideBar

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

T U T O R I A L - Petri nets for multiscale systems biology

latest update: July 03, 2013, at 03:08 PM

Basic facts

  • satellite event of PETRI NETS 2013
  • where: Milano / Italy
  • when: Tuesday, June 25, 2013
  • tutorial level: intermediate/advanced
  • length: full day
  • related event: BioPPN workshop, Monday, June 24, 2013


o r g a n i s e r s / p r e s e n t e r s

  • David Gilbert - Brunel University, School of Information Systems, Computing and Mathematics, Uxbridge/London, UK
  • Monika Heiner - Brandenburg University of Technology at Cottbus, Computer Science Institute, Germany
  • Wolfgang Marwan - Otto von Guericke University Magdeburg, Departement of Regulatory Biology, Germany

supported by

  • Mary Ann Blaetke, Otto von Guericke University Magdeburg, Germany
  • Daniele Maccagnola, University Milano-Bicocca, Italy
  • Ovidiu Parvu, Brunel University, UK

a b s t r a c t

The use of models of biochemical networks is a central component for both Systems and Synthetic Biology. Constructing, analysing and applying these models for prediction (Systems Biology) or design (Synthetic Biology) is a major challenge that can benefit from the application of methods originating in computer science and software engineering. This tutorial gives an introduction to a general modelling framework and shows how it can be applied to analysing existing biological systems and designing novel systems. A particularly challenging aspect is modeling biological systems which are characterized by important features at multiple spatial and/or temporal scales.

We introduce a biomodel engineering framework to address some of these issues within the context of multiscale Systems Biology. Our methodology is based on a structured family of Petri net classes which enables the investigation of a given system using various modelling abstractions: qualitative, stochastic, continuous and hybrid, optionally in a spatial context. We illustrate our approach with case studies demonstrating hierarchical flattening, treatment of space, and hierarchical organisation of space.

Finally, we discuss two approaches of a systematic network construction - design modules first and then construct the networks by module composition, or automatically reconstruct the networks from time series data.

e x p e c t e d . a u d i e n c e

  • The target audience includes research students as well as researchers.
  • Suitable for computer scientists and engineers familiar with basic modelling approaches, as well as for biochemists with an understanding of biochemical net- works.
  • The tutorial illustrates the special challenges, which come with this application area, and also indicate some open problems which need to be solved. So the tutorial might be of special interest to those looking for new challenges to their theoretical background.

t o o l s

The tutorial material was developed using the following tools.

  • Snoopy - design and animation/simulation of qualitative/stochastic/continuous/hybrid Petri nets;
  • Charlie - standard analysis techniques of Petri nets theory;
  • Marcie - reachability analysis and exact/approximative/simulative model checking of CTL/CSRL/PLTLc;
  • MC2 - simulative PLTLc model checker for discrete/continuous traces.

o u t l i n e

1. Basics & background

  • Biomodel engineering introduction
  • Petri nets for biology
  • The Petri net framework (4 x 2 classes, coloured & uncoloured)
  • Petri nets – standard techniques and beyond


2. Colour for space, levels & movement

  • Encoding 1, 2, 3D
  • Diffusion
  • Growth
  • Geometries
  • Illustrative example: bacterial colony;
  • Levels/multiscale,
  • Illustrative examples: PCP or simpler
  • Movement & history


3. Simulation and analysis

  • Simulation & unfolding
  • Analysis techniques
  • Model checking in the three basic paradigms
  • Image analysis


4. Systematic network construction

  • Modular modelling - modules & model composition
  • Algorithmic mutation
  • Automatic network reconstruction

s l i d e s

1. Basics & background

2. Colour for space, levels & movement

3. Simulation and analysis

4. 4. Systematic network construction

s u p p l e m e n t a r y . m a t e r i a l . a n d . u s e f u l . l i n k s

a s s i g n m e n t s

To earn 1 credit point for taking part in the advanced tutorial requires to solve one of the assignments with a total work load of 30 hours. Please contact one of the organisers of this workshop if you are interested.

r e f e r e n c e s

r e g i s t r a t i o n

Registration is handled by the hosting conference website PETRI NET 2013

q u e s t i o n s

Please contact one of the organisers.

… the end …

Any comments or questions are welcome. Please direct them to monika.heiner@b-tu.de