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: June 26, 2014, at 06:33 PM

Basic facts

  • satellite event of PETRI NET 2014
  • where: Tunis / Tunisia
  • when: Tuesday, June 24, 2014
  • tutorial level: intermediate/advanced
  • length: full day
  • related event: BioPPN workshop, Monday, June 23, 2014


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

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

09.30-11.00 -1.5h

Monika Heiner
Overview and introduction into the field [ slides ]

coffee break

11.30-13.00 -1.5h

Annegret Wagler
Automatic network reconstruction [ slides ]

lunch break

14.30-16.00 -1.5h

Mostafa Herajy
Simulation of stochastic/continuous/hybrid Petri nets [ slides ]

coffee break

16.30-18.00 -1.5h

Monika Heiner
Coloured Petri nets for systems biology [ slides ]

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

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.

( s e l e c t e d ) 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 2014

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