Pain Signaling - A Case Study of the Modular Petri Net Modeling Concept with Prospect to a Protein-Oriented Modeling Platform

Similar documents
From Petri Nets to Differential Equations An Integrative Approach for Biochemical Network Analysis

Reconstructing X -deterministic extended Petri nets from experimental time-series data X

Biological networks CS449 BIOINFORMATICS

Research Article for BMC Bioinformatics. Mary Ann Blätke 1, Anna Dittrich 2+, Christian Rohr 1,3+,

Computational Modelling in Systems and Synthetic Biology

On the Importance of the Deadlock Trap Property for Monotonic Liveness

Integrating prior knowledge in Automatic Network Reconstruction

MSc Drug Design. Module Structure: (15 credits each) Lectures and Tutorials Assessment: 50% coursework, 50% unseen examination.

SYSTEMS BIOLOGY - A PETRI NET PERSPECTIVE -

From Petri Nets to Differential Equations - an Integrative Approach for Biochemical Network Analysis

An introduction to SYSTEMS BIOLOGY

FROM PETRI NETS TUTORIAL, PART II A STRUCTURED APPROACH... TO DIFFERENTIAL EQUATIONS ISMB, JULY 2008

Preface. Contributors

From cell biology to Petri nets. Rainer Breitling, Groningen, NL David Gilbert, London, UK Monika Heiner, Cottbus, DE

Biochemical Reactions and Logic Computation

Automatic Network Reconstruction

38050 Povo Trento (Italy), Via Sommarive 14 CAUSAL P-CALCULUS FOR BIOCHEMICAL MODELLING

An Introduction to GLIF

BSc MATHEMATICAL SCIENCE

Computational Systems Biology

Reliability of Safety-Critical Systems 5.4 Petrinets

Pathway Logic: Helping Biologists Understand and Organize Pathway Information

Richik N. Ghosh, Linnette Grove, and Oleg Lapets ASSAY and Drug Development Technologies 2004, 2:

MTopGO: a tool for module identification in PPI Networks

MILANO, JUNE Monika Heiner Brandenburg University of Technology Cottbus

Petri Net Modules in the Transformation-Based Component Framework

Petri net models. tokens placed on places define the state of the Petri net

Gene Network Science Diagrammatic Cell Language and Visual Cell

CSD. CSD-Enterprise. Access the CSD and ALL CCDC application software

September 16, 2004 The NEURON Book: Chapter 2

Cellular Systems Biology or Biological Network Analysis

FUNDAMENTALS of SYSTEMS BIOLOGY From Synthetic Circuits to Whole-cell Models

BIOINFORMATICS: An Introduction

Product Guide. Thermo Scientific Cellomics HCS Solution

A compact modeling approach for deterministic biological systems

Gene Expression as a Stochastic Process: From Gene Number Distributions to Protein Statistics and Back

Regulation and signaling. Overview. Control of gene expression. Cells need to regulate the amounts of different proteins they express, depending on

Some Problems from Enzyme Families

Biological Networks. Gavin Conant 163B ASRC

Atomic Fragments of Petri Nets Extended Abstract

VCell Tutorial. Building a Rule-Based Model

Sig2GRN: A Software Tool Linking Signaling Pathway with Gene Regulatory Network for Dynamic Simulation

The EGF Signaling Pathway! Introduction! Introduction! Chem Lecture 10 Signal Transduction & Sensory Systems Part 3. EGF promotes cell growth

SPANISH GOOD (AND NO SO GOOD) PRACTICES IMPLEMENTING INSPIRE

Evidence for dynamically organized modularity in the yeast protein-protein interaction network

Molecular modeling methods for novel health and environmental applications

An Algebraic Generalization for Graph and Tensor-Based Neural Networks

Bioinformatics 2. Yeast two hybrid. Proteomics. Proteomics

BMD645. Integration of Omics

Basic modeling approaches for biological systems. Mahesh Bule

Analysing the microrna-17-92/myc/e2f/rb Compound Toggle Switch by Theorem Proving

Inferring Protein-Signaling Networks

ATLAS of Biochemistry

Mass Asset Additions. Overview. Effective mm/dd/yy Page 1 of 47 Rev 1. Copyright Oracle, All rights reserved.

BEFORE TAKING THIS MODULE YOU MUST ( TAKE BIO-4013Y OR TAKE BIO-

Enabling Technologies from the Biology Perspective

Biological Pathways Representation by Petri Nets and extension

Utilizing GIS to Identify and Mobilize Interdisciplinary Disaster Reconnaissance Research Teams: The SSEER and ISEEER Platforms

Chem Lecture 10 Signal Transduction

THE QUALITY CONTROL OF VECTOR MAP DATA

The Fruit Fly Brain Observatory

Applications of Petri Nets

Statistical Clustering of Vesicle Patterns Practical Aspects of the Analysis of Large Datasets with R

NJDOT Pedestrian Safety Analysis Tool 2015 GIS T Conference

RESEARCH PROPOSAL MODELING A CELLULAR TRANSMEMBRANE SIGNALING SYSTEM THROUGH INTERACTION WITH G-PROTEINS BY USING CONCURRENT

86 Part 4 SUMMARY INTRODUCTION

PC ARC/INFO and Data Automation Kit GIS Tools for Your PC

Discrete-Time Leap Method for Stochastic Simulation

Design Patterns for Metamodel Design

SPA for quantitative analysis: Lecture 6 Modelling Biological Processes

Lectures on Medical Biophysics Department of Biophysics, Medical Faculty, Masaryk University in Brno. Biocybernetics

Qualitative Spatio-Temporal Reasoning & Spatial Database Design

Modelling of Possible Binding Modes of Caffeic Acid Derivatives to JAK3 Kinase

Lab 1 Uniform Motion - Graphing and Analyzing Motion

State Machine Modeling of MAPK Signaling Pathways

Proteomics. Yeast two hybrid. Proteomics - PAGE techniques. Data obtained. What is it?

Understanding Science Through the Lens of Computation. Richard M. Karp Nov. 3, 2007

ARTIFICIAL NEURAL NETWORKS گروه مطالعاتي 17 بهار 92

EuroBioBank/TREAT-NMD Annual Meeting «Membership to the EuroBioBank Network»

CAP 5510: Introduction to Bioinformatics CGS 5166: Bioinformatics Tools. Giri Narasimhan

GIS Geographical Information Systems. GIS Management

Model-Driven Migration of Scientific Legacy Systems to Service-Oriented Architectures

V19 Metabolic Networks - Overview

UML. Design Principles.

Stéphane Lafortune. August 2006

V14 extreme pathways

Computational Biology Course Descriptions 12-14

System Modelling of Mammalian Cell Cycle Regulation Using Multi-Level Hybrid Petri Nets

From Geographics Stella to Bentley Map Stella Map. Kimmo Soukki, Account Manager Bentley Finland

FCModeler: Dynamic Graph Display and Fuzzy Modeling of Regulatory and Metabolic Maps

Name: TF: Section Time: LS1a ICE 5. Practice ICE Version B

GIS for spatial decision making

combined with the computing power of the W4M infrastructure

CSD. Unlock value from crystal structure information in the CSD

PDB : 1ZTB Ligand : ZINC

A Novel Method for Modeling Complex 3D Geological Body with Strata Pinch-out

USING THE COMPARATIVE TOXICOGENOMICS DATABASE TO UNDERSTAND THE IMPACT OF HIGH-RISK TOXICANTS ON BIOLOGICAL PATHWAYS. Samantha E.

QuantumMCA QuantumNaI QuantumGe QuantumGold

PeptideProphet: Validation of Peptide Assignments to MS/MS Spectra

Safety and Reliability of Embedded Systems. (Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Obscurities and Open Issues

Transcription:

1 BioPPN Workshop, 20 June 2011 Pain Signaling - A Case Study of the Modular Petri Net Modeling Concept with Prospect to a Protein-Oriented Modeling Platform Mary Ann Blätke, Sonja Meyer, Wolfgang Marwan mary-ann.blaetke@ovgu.de

2 Motivations

3 Motivation Monolithic pathway models are not always easy to handle Hard to maintain, update and curate Coupling of different pathway models is far from trivial Our Idea: Modular representation of proteins with a defined connection interface

4 Motivation ODEs are not always the best choice (see also Ref. [2]) Difficult analysis of topological network properties Mathematical structure hides biological information Transformation into a reaction network is not unique Difficult to understand for wetlab biologists [Soliman et al., 2010] Our Idea: Using the power of Petri nets to Model Molecular Networks [Heiner et al., 2010]

5 Modular Petri net Modeling Concept

6 Network Structure of a Module and Properties Domain-related representation of a protein, its interactions and intermolecular changes by a Petri net [Kim et al., 2007] Module 1.) Literature Research 2.) Translation into a PN

7 Network Structure of a Module and Properties Domain-related representation of a protein, its interactions and intermolecular changes by a Petri net Place Specific state of a protein domain (or a non-protein) Transitions Shifts between different states Principle of double-entry bookkeeping -> shared copies of identical subnets among interacting protein [Kim et al., 2007] Module 1.) Literature Research 2.) Translation into a PN

8 Network Structure of a Module and Properties Domain-related representation of a protein, its interactions and intermolecular changes by a Petri net Place Specific state of a protein domain (or a non-protein) Transitions Shifts between different states Principle of double-entry bookkeeping -> shared copies of identical subnets among interacting protein [Kim et al., 2007] Module A module is a comprehensive review article about a protein in the form of a Petri net 1.) Literature Research 2.) Translation into a PN

9 Validation of a Module Domain-related representation of a protein, its interactions and intermolecular changes by a Petri net Place Specific state of a protein domain (or a non-protein) Transitions Shifts between different states Principle of double-entry bookkeeping -> shared copies of identical subnets among interacting protein [Kim et al., 2007] Module Validation of each module by topological Properties of a Petri net and simulation studies 1.) Literature Research 2.) Translation into a PN

10 Validation of a Module Properties PUR ORD HOM NBM CSV SCF FT0 TF0 FP0 PF0 CON SC N Y Y N N N N N Y Y Y N DTP CPI CTI SCTI SB k-b 1-B DCF DSt DTr LIV REV N Y N N Y Y Y N Y N N N Covered with P-INV: Set of all possible states of a domain of the module-protein, an interactive protein or of the non-protein must not be fulfilled variable must be fulfilled Stochastic simulation studies Dynamic behavior of the modules has to reflect the assigned function of the protein

11 Generation of a Modular Network Generation of a modular network from a set of modules Identical copies of subnets and places of non-proteins build the connection interface among the modules Indicate identical subnets as logical subnets Wrap every module in a macro place Insert all modules in one Petri net Valid Valid modular Modular Network network Recheck of the modular network

12 Properties of the Modular Network Modules: PUR ORD HOM NBM CSV SCF FT0 TF0 FP0 PF0 CON SC N Y Y N N N N N Y Y Y N DTP CPI CTI SCTI SB k-b 1-B DCF DSt DTr LIV REV N Y N N Y Y Y N Y N N N Modular network: TRANSFER PUR ORD HOM NBM CSV SCF FT0 TF0 FP0 PF0 CON SC N Y Y N N N N N Y Y Y N DTP CPI CTI SCTI SB k-b 1-B DCF DSt DTr LIV REV N Y N N Y Y N N N N N N must not be fulfilled 1:1 Transfer variable Determined by the intersection of the modules must be fulfilled 1:1 Transfer

13 Case Study Pain Signaling

14 Pain Signaling Serious clinical and public health issues No sufficient mechanism-based pain therapy Complex and diverse molecular mechanisms of parallel, convergent and concurrent processes But: Molecular processes are not very well understood

15 Pain Signaling Serious clinical and public health issues No sufficient mechanism-based pain therapy Complex and diverse molecular mechanisms of parallel, convergent and concurrent processes But: Molecular processes are not very well understood Modeling Pain Signaling is a Challenging (and Painful) Process

16 Modules 38 Modules based on literature Enzymes (PKA, PKC, AC etc.) 320 scientific articles Receptors (GPCRs) Ca(2+)-Channels Etc. Validated by: Structural analysis Literature Simulation studies All modules are valid! Modules

17 Example : mueor + Gi-Protein

18 Example : mueor + Gi-Protein

19 Other Examples: Protein kinase A

20 Other Examples: TRPV1- Ion-Channel

21 Top-Level of the Nociceptive Network The nociceptive network is valid!

22 Top-Level of the Nociceptive Network The nociceptive network is valid! Predicted properties have been confirmed by structural analysis Modules: 38 Places: 713 Transitions: 775 Pages: 325 Nesting Depth: 4

23 Conclusion and Outlook

24 Advantages Modules are interactive reviews of spread information about a protein easy to update, to extend, to couple by identical matching subnets => straight forward generation of modular networks reusable in other networks Extend the modular core network with gene expression, degradation, translocation modules

25 Outlook: Pain Model Identification of possible targets for therapeutic intervention strategies Completion Parameterization and Validation Stochastic Simulation studies Extension to colored Petri nets to represent multiple copies of Proteins and DRG neuron populations

26 Outlook: Modular Modeling Concept Network reconstruction coupled with modular modeling concept Advanced analysis of structural motifs Other case studies: pain signaling, EGF pathway [Heinrich et al., 2003]

27 Outlook: Modular Modeling Concept Modeling platform for protein modules: Organization of the modules Module + data set offering detailed information Strict naming convention Automatic generation of modular networks from a set of approved curated modules Iterative search of coupling partners Pathway oriented suggestion using tags Web- Database

28 Acknowledgement Supervisor: Wolfgang Marwan Software-/ Petri Net Support: Monika Heiner + Co-workers Biological Expertise: MOPS Consortia mary-ann.blaetke@ovgu.de

29 Acknowledgement Supervisor: Wolfgang Marwan Software-/ Petri Net Support: Monika Heiner + Co-workers Biological Expertise: MOPS Consortia mary-ann.blaetke@ovgu.de

30

31 mary-ann.blaetke@ovgu.de

33 Interaction Matrix

34 Iterative Search of Coupling Partners