XML Documentation of Biopathways and Their Simulations in Genomic Object Net Speaker : Hungwei chen.

Slides:



Advertisements
Similar presentations
Principles of Engineering System Design Dr T Asokan
Advertisements

An Intro To Systems Biology: Design Principles of Biological Circuits Uri Alon Presented by: Sharon Harel.
CellDesigner Tutorial Laurence Calzone, Andrei Zinovyev UMR U900 INSERM/Institut Curie/Ecole des Mines de Paris Wednesday, April 30th.
Simulation-based model checking approach to cell fate specification during C. elegans vulval development by HFPNe Chen LI Masao Nagasaki Kazuko Ueno Satoru.
Discrete Interaction Design Specification Prof. Dr. Matthias Rauterberg Faculty Industrial Design Technical University of Eindhoven
Systems Biology Existing and future genome sequencing projects and the follow-on structural and functional analysis of complete genomes will produce an.
Petri net modeling of biological networks Claudine Chaouiya.
Dynamic Modeling Of Biological Systems. Why Model? When it’s a simple, constrained path we can easily go from experimental measurements to intuitive understanding.
Introduction to biological networks. protein-gene interactions protein-protein interactions PROTEOME GENOME Citrate Cycle METABOLISM Bio-chemical reactions.
Modelling the stability of Stx lysogens
12/07/2007Jiacun Wang1 SE-561 Math Foundations Petri Nets - II Dr. Jiacun Wang Department of Software Engineering Monmouth University.
Lecture 6 & 7 System Models.
Gene Regulatory Networks - the Boolean Approach Andrey Zhdanov Based on the papers by Tatsuya Akutsu et al and others.
1 A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks Richard Banks, Victor Khomenko and Jason Steggles School of Computing.
Introduction to molecular networks Sushmita Roy BMI/CS 576 Nov 6 th, 2014.
Computational Molecular Biology Biochem 218 – BioMedical Informatics Gene Regulatory.
PETRINETS Nipun Devlekar Zauja Lahtau. PETRINETS DEFINITION : DEFINITION :  PETRINET (place/ transition net): a formal, graphical, executable technique.
System Models Hoang Huu Hanh, Hue University hanh-at-hueuni.edu.vn Lecture 6 & 7.
Genetic Regulatory Network Inference Russell Schwartz Department of Biological Sciences Carnegie Mellon University.
Capacity analysis of complex materials handling systems.
/ Copyright © Siemens AG All rights reserved. Corporate Technology Performance Prediction of Client-Server Systems by High-Level Abstraction Models.
Modeling with ordinary Petri Nets Events: Actions that take place in the system The occurrence of these events is controlled by the state of the system.
Session 1 SESSION 1 Working with Dreamweaver 8.0.
Comprehensive model for formalized description, visualization and simulation of biological systems Fedor A. Kolpakov Biosoft.Ru,
Creating Metabolic Network Models using Text Mining and Expert Knowledge J.A. Dickerson, D. Berleant, Z. Cox, W. Qi, and E. Wurtele Iowa State University.
AMATH 382: Computational Modeling of Cellular Systems Dynamic modelling of biochemical, genetic, and neural networks Introductory Lecture, Jan. 6, 2014.
The Programming of a Cell By L Varin and N Kharma Biology and Computer Engineering Departments Concordia University.
Reconstruction of Transcriptional Regulatory Networks
Summary Various mathematical models describing gene regulatory networks as well as algorithms for network reconstruction from experimental data have been.
Combinatorial State Equations and Gene Regulation Jay Raol and Steven J. Cox Computational and Applied Mathematics Rice University.
CZ5225 Methods in Computational Biology Lecture 9: Biological pathways and pathway simulation Prof. Chen Yu Zong Tel:
Hybrid Petri net representation of Gene Regulatory Network
Virtual Storytelling Adam Abonyi Daniel Balaš. Agenda 1.Introduction to virtual storytelling 2.Petri Nets 3.Our improvements in Petri Nets 4.Example.
Cell Signaling Ontology Takako Takai-Igarashi and Toshihisa Takagi Human Genome Center, Institute of Medical Science, University of Tokyo.
A Biology Primer Part IV: Gene networks and systems biology Vasileios Hatzivassiloglou University of Texas at Dallas.
Modeling the Chemical Reactions Involved in Biological Digital Inverters Rick Corley Mentor: Geo Homsy.
Gene Regulation, Part 1 Lecture 15 Fall Metabolic Control in Bacteria Regulate enzymes already present –Feedback Inhibition –Fast response Control.
Systems Biology ___ Toward System-level Understanding of Biological Systems Hou-Haifeng.
Petri Nets Lecturer: Roohollah Abdipour. Agenda Introduction Petri Net Modelling with Petri Net Analysis of Petri net 2.
Modelling by Petri nets
A Genetic Differential Amplifier: Design, Simulation, Construction and Testing Seema Nagaraj and Stephen Davies University of Toronto Edward S. Rogers.
Ch5: Software Specification. 1 Petri Nets  Introduced by C. Adams Petri in  Widely used in the modeling and analysis of computer systems.  Basic.
Hybrid Functional Petri Net model of the Canonical Wnt Pathway Koh Yeow Nam, Geoffrey.
1 Copyright  2001 Pao-Ann Hsiung SW HW Module Outline l Introduction l Unified HW/SW Representations l HW/SW Partitioning Techniques l Integrated HW/SW.
Introduction to biological molecular networks
CSCI1600: Embedded and Real Time Software Lecture 11: Modeling IV: Concurrency Steven Reiss, Fall 2015.
School of Computer Science & Software Engineering
Modelling Gene Regulatory Networks using the Stochastic Master Equation Hilary Booth, Conrad Burden, Raymond Chan, Markus Hegland & Lucia Santoso BioInfoSummer2004.
Capturing Requirements. Questions to Ask about Requirements 1)Are the requirements correct? 2)Consistent? 3)Unambiguous? 4)Complete? 5)Feasible? 6)Relevant?
Petri-Nets and Other Models
High throughput biology data management and data intensive computing drivers George Michaels.
BENG/CHEM/Pharm/MATH 276 HHMI Interfaces Lab 2: Numerical Analysis for Multi-Scale Biology Modeling Cell Biochemical and Biophysical Networks Britton Boras.
Metabolic pathways. What do we mean by metabolism? Metabolism is the collective term for the thousands of biochemical _________ that occur within a living.
Simulation in Operational Research form Fine Details to System Analysis.
1 INTRODUCTION TO COMPUTER GRAPHICS. Computer Graphics The computer is an information processing machine. It is a tool for storing, manipulating and correlating.
Introduction To Modeling and Simulation 1. A simulation: A simulation is the imitation of the operation of real-world process or system over time. A Representation.
Week 8 Computational Level
Traffic Simulation L2 – Introduction to simulation Ing. Ondřej Přibyl, Ph.D.
Tools Of Structured Analysis
Concurrent Systems Modeling using Petri Nets
Modelling of biomolecular networks
KNOWLEDGE MODELING FOR PROGRAM PLANNING
2. Specification and Modeling
Week 8 Computational Level
Workflow Management Systems
HKUSTers Jean and Winnie
Languages for Systems Biology
Mathematical Modeling of Networks
Petri Nets Laurie Frazier.
Presentation transcript:

XML Documentation of Biopathways and Their Simulations in Genomic Object Net Speaker : Hungwei chen

Biopathway Modeling & Simulation

A Software Toward Biopathway Modeling & Simulation

Genomic Object Net

What is Genomic Object Net Genomic Object Net is a software tools for Modeling and Simulation Biopathways Employing the notion of HFPN as its basic Architecture Using XML Documents for representation simulations and visualization for Biopathway

About Genomic Object Net Genomic Object Net Assembler Genomic Object Net Describing tool. Genomic Object Net Visualizer

Biopathway Describing Tool –helps to describe a biopathway according to the traditional description methods in biology –releasing users from the mathematical knowledge Genomic Object Net Assembler 1.Designs HFPN which represents and simulates a system of genomic objects. 2.Produces Biopathway Representation Source File as an XML document. 3.Produces Simulation Results Files (CSV format) each of which contains a time-series of the numerical values representing the behavior of places in HFPN.

In order for biosimulation tools to be accepted by users in (1)Remove issues which are irrelevant to biological importance, (2)Allow users to represent biopathways intuitively and understand/manage easily the details of representation and simulation mechanism From these criteria, software tools currently developed might not be enough satisfactory.

Metabolic Pathways Signaling Pathways Gene Regulatory Networks Pathway Types for Modeling

Metabolic Pathway

Apoptosis induced by Fas Cytoplasm cascade caspase Signal Fas ligand Fas receptor complex Signaling Pathway

Switching Mechanism of Lambda Phage

Petri net place transition arc inhibitory arc token

What is the Petri Net ?? A Petri Net is a collection of directed arcs connecting places and transitions. Arcs have capacity 1 by default. Places may hold tokens transitions have no capacity, and cannot store tokens.

Simple Example of Petri Net

How to enable token through transition A transition is enabled when the number of tokens in each of its input places is at least equal to the arc weight going from the place to the transition. An enabled transition may fire at any time. When fired, the tokens in the input places are moved to output place

Example of Petri Net Graph

When arcs have different weights

The inhibitor arc This transition cannot fire, because the token in P2 inhibits it.

Petri Net Topology

Example-the control of a vending machine

A coin is ready to drop

An accepted coin leads to dispensing

After inserting several coins

2H2 + O2 -> 2H2O

Hybrid Petri Net Easy to describe biological facts and biological phenomenon on computers and Acceptable technical expression of the tool to biologists. Extension to Hybrid Dynamic Net © Copyright 2002 Satoru Miyano, Human Genome Center, University of Tokyo

Elements Michaelis - Menten Equation Hybrid Dynamic Net © Copyright 2002 Satoru Miyano, Human Genome Center, University of Tokyo

Hybrid functional Petri net Assign any function to each arc Transition T fires as long as m i > 0 for all 1 < i < p © Copyright 2002 Satoru Miyano, Human Genome Center, University of Tokyo

dimermonomers 12 discrete Petri net hybrid dynamic net 12 hybrid functional Petri net describe naturally explosion of tokens Not intuitive nor natural © Copyright 2002 Satoru Miyano, Human Genome Center, University of Tokyo

Lambda phage genetic switch feedback mecnanism

1. Identify main events in the biopathway of concern. places 2. places : Continuous places (doubled circles) : contain real numbers which represent concentrations of mRNA and Proteins. Discrete places (single circles) : are corresponded to the promoter or operator sites for expressing the binding situation of transcription factor Design of hybrid functional Petri net

transitions3. transitions: interactions between objects –hidden interaction should also be identified functions4. functions assigned to transitions : –based on the logical structure in events and biological/biochemical knowledge about objects 5. Simulate, evaluate, and tune up the designed HFPN transition 3. transition : Continuous transitions (white rectangles) : are used for expressing the production/degradation speed of mRNAs or proteins. Discrete transitions (black rectangles) : are used for expressing the required time for RNA polymerase which moves between two genes. Design of hybrid functional Petri net

XML Integration of Biopathway in Genomic Object Net in Genomic Object Net

m1m2 T1 1m1/2 P1P2 m1/2.5 XML representation of HFPN

XML Biopathway Visualization (Upper left) Lambda phage chromosome –brightness or color of gene is changed according to the protein concentration level (upper right) Concentrations of proteins N and CI –Direct display of csv file in Simulation Result Files (bottom) CI and Cro binding to O R 1, O R 2, O R 3

Conclusion The HFPN model for representing and simulating biopathways. XML documents for description and visualization of HFPN together with simulation results. The future plan of Genomic Object Net is to construct a knowledge database of biopathways which allow computer simulation and visualization.

Result For all biochemical passways are hard to modeling in a good mathematical Knowledge

Thank you for your attention Thank you for your attention