A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
|
|
- Robyn Gardner
- 5 years ago
- Views:
Transcription
1 A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets Groningen, NL, London, UK, Cottbus, DE BME Tutorial, Part 4 Paris, June 2009
2 Framework Qualitative Stochastic Continuous
3 Framework Qualitative Time-free Timed, Quantitative Stochastic Continuous Discrete State Space Continuous State Space
4 Framework Qualitative Time-free Timed, Quantitative Abstraction Abstraction Stochastic Continuous Discrete State Space Continuous State Space
5 Framework Qualitative Time-free Timed, Quantitative Abstraction Stochastic Approximation of Hazard function, type (1) Approximation by Hazard function, type (2) Abstraction Continuous Discrete State Space Continuous State Space
6 (Qualitative) Petri Net Definition : A place/transition Petri net is a quadruple PN = (P,T,f,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions)
7 (Qualitative) Petri Net Definition : A place/transition Petri net is a quadruple PN = (P,T,f,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) f : ((P T) (T P)) N 0 (weighted directed arcs)
8 (Qualitative) Petri Net Definition : A place/transition Petri net is a quadruple PN = (P,T,f,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) f : ((P T) (T P)) N 0 (weighted directed arcs) m 0 : P N 0 (initial marking)
9 (Qualitative) Petri Net Definition : A place/transition Petri net is a quadruple PN = (P,T,f,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) f : ((P T) (T P)) N 0 (weighted directed arcs) m 0 : P N 0 (initial marking) Interleaving Semantics : reachability graph / CTL, LTL Partial Order Semantics : prefix / CTL, LTL
10 Stochastic Petri Net Definition : A biochemically interpreted stochastic Petri net is a quintuple SPN Bio = (P,T,f,v,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) f : ((P T) (T P)) N 0 (weighted directed arcs) m 0 : P N 0 (initial marking)
11 Stochastic Petri Net Definition : A biochemically interpreted stochastic Petri net is a quintuple SPN Bio = (P,T,f,v,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) f : ((P T) (T P)) N 0 (weighted directed arcs) m 0 : P N 0 (initial marking) v : T H (stochastic firing rate functions) with { } - H := h t h t : N t 0 R +,t T - v(t) = h t for all transitions t T
12 Stochastic Petri Net Definition : A biochemically interpreted stochastic Petri net is a quintuple SPN Bio = (P,T,f,v,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) f : ((P T) (T P)) N 0 (weighted directed arcs) m 0 : P N 0 (initial marking) v : T H (stochastic firing rate functions) with { } - H := h t h t : N t 0 R +,t T - v(t) = h t for all transitions t T Semantics : Continuous Time Markov Chain / CSL, PLTLc
13 Stochastic Petri Net Interpretation of tokens : tokens = molecules tokens = concentration levels
14 Stochastic Petri Net Specialised stochastic firing rate function, two examples : molecules semantics h t := c t p t ( ) m(p) f (p,t) (1) concentration levels semantics h t := k t N p t ( m(p) N ) (2)
15 Stochastic Petri Net - Semantics a transition t is enabled as usual : p t : m(p) > 0. an enabled transition t has to wait transition s waiting time is an exponentially distributed random variable X t with the probability density function : f Xt (τ) = λ t (m) e ( λt(m) τ), τ 0. while waiting, the transition may loose its enabled state firing itself does not consume time, follows standard firing rule Semantics : Continuous Time Markov Chain / CSL, PLTLc
16 Continuous Petri Net Definition : A biochemically interpreted continuous Petri net is a quintuple CPN Bio = (P,T,f,v,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) f : ((P T) (T P)) R + 0 (weighted directed arcs) m 0 : P R + 0 (initial marking)
17 Continuous Petri Net Definition : A biochemically interpreted continuous Petri net is a quintuple CPN Bio = (P,T,f,v,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) f : ((P T) (T P)) R + 0 (weighted directed arcs) m 0 : P R + 0 (initial marking) v : T H (continuous firing rate functions) with - H := { h t h t : R t R +,t T } - v(t) = h t for all transitions t T
18 Continuous Petri Net Definition : A biochemically interpreted continuous Petri net is a quintuple CPN Bio = (P,T,f,v,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) f : ((P T) (T P)) R + 0 (weighted directed arcs) m 0 : P R + 0 (initial marking) v : T H (continuous firing rate functions) with - H := { h t h t : R t R +,t T } - v(t) = h t for all transitions t T Semantics : ODEs / LTLc
19 Continuous Petri Net - Semantics A continuous transition t is enabled in m, if p t : m(p) > 0. each place p subject to changes gets its own equation dm (p) dt = t p f (t,p) v (t) t p f (p,t) v (t), each equation corresponds to a line in the incidence matrix Semantics : ODEs / LTLc
20 Continuous Petri Net - Semantics A continuous transition t is enabled in m, if p t : m(p) > 0. each place p subject to changes gets its own equation dm (p) dt = t p f (t,p) v (t) t p f (p,t) v (t), each equation corresponds to a line in the incidence matrix continuous Petri net = structured description of ODEs. Semantics : ODEs / LTLc
21 Continuous Petri Net - Example Raf-1Star m1 m2 RKIP k1 k2 ERK-PP m9 m3 Raf-1Star_RKIP k8 k3 k4 k11 m8 MEK-PP_ERK m4 Raf-1Star_RKIP_ERK-PP m11 RKIP-P_RP k6 k7 k5 k9 k10 m7 MEK-PP m5 ERK m6 RKIP-P m10 RP
22 Continuous Petri Net - Example dm3 = dt Raf-1Star m1 m2 RKIP k1 k2 ERK-PP m9 m3 Raf-1Star_RKIP k8 k3 k4 k11 m8 MEK-PP_ERK m4 Raf-1Star_RKIP_ERK-PP m11 RKIP-P_RP k6 k7 k5 k9 k10 m7 MEK-PP m5 ERK m6 RKIP-P m10 RP
23 Continuous Petri Net - Example dm3 = + r1 dt + r4 Raf-1Star m1 m2 RKIP k1 k2 ERK-PP m9 m3 Raf-1Star_RKIP k8 k3 k4 k11 m8 MEK-PP_ERK m4 Raf-1Star_RKIP_ERK-PP m11 RKIP-P_RP k6 k7 k5 k9 k10 m7 MEK-PP m5 ERK m6 RKIP-P m10 RP
24 Continuous Petri Net - Example dm3 = + r1 dt + r4 - r2 - r3 ERK-PP Raf-1Star m1 k1 RKIP m2 k2 m9 m3 Raf-1Star_RKIP k8 k3 k4 k11 m8 MEK-PP_ERK m4 Raf-1Star_RKIP_ERK-PP m11 RKIP-P_RP k6 k7 k5 k9 k10 m7 MEK-PP m5 ERK m6 RKIP-P m10 RP
25 Continuous Petri Net - Example dm3 = + k1 * m1 * m2 dt + r4 - r2 - r3 ERK-PP Raf-1Star m1 k1 RKIP m2 k2 m9 m3 Raf-1Star_RKIP k8 k3 k4 k11 m8 MEK-PP_ERK m4 Raf-1Star_RKIP_ERK-PP m11 RKIP-P_RP k6 k7 k5 k9 k10 m7 MEK-PP m5 ERK m6 RKIP-P m10 RP
26 Continuous Petri Net - Example dm3 = + k1 * m1 * m2 dt + k4 * m4 - k2 * m3 - k3 * m3 * m9 ERK-PP Raf-1Star m1 k1 RKIP m2 k2 m9 m3 Raf-1Star_RKIP k8 k3 k4 k11 m8 MEK-PP_ERK m4 Raf-1Star_RKIP_ERK-PP m11 RKIP-P_RP k6 k7 k5 k9 k10 m7 MEK-PP m5 ERK m6 RKIP-P m10 RP
27 Continuous Petri Net - Example, ODEs dm 1 dt dm 2 dt dm 3 dt dm 4 dt dm 5 dt dm 6 dt = r 2 + r 5 r 1 = r 2 + r 11 r 1 = r 1 + r 4 r 2 r 3 = r 3 r 4 r 5 = r 5 + r 7 r 6 = r 5 + r 10 r 9 dm 7 dt dm 8 dt dm 9 dt dm 10 dt dm 11 dt = r 7 + r 8 r 6 = r 6 r 7 r 8 = r 4 + r 8 r 3 = r 10 + r 11 r 9 = r 9 r 10 r 11
28 Continuous Petri Net - Example, ODEs r 1 = k 1 m 1 m 2 r 7 = k 7 m 8 r 2 = k 2 m 3 r 3 = k 3 m 3 m 9 r 4 = k 4 m 4 r 5 = k 5 m 4 r 8 = k 8 m 8 r 9 = k 9 m 6 m 10 r 10 = k 10 m 11 r 11 = k 11 m 11 r 6 = k 6 m 5 m 7
29 References M Heiner, D Gilbert, R Donaldson : Petri Nets for Systems and Synthetic Biology; SFM 2008, Springer LNCS 5016, pp. 215Ð264, M Heiner; R Donaldson ; D Gilbert : Petri Nets for Systems Biology; in MS Iyengar (ed.) : Symbolic Systems Biology : Theory and Methods, Jones & Bartlett Publishers, LLC, in Press. D Gilbert, M Heiner, S Rosser, R Fulton, X Gu, M Trybilo : A Case Study in Model-driven Synthetic Biology; IFIP WCC 2008/BICC 2008, Springer Boston, IFIP, Vol. 268, pp , D Gilbert, M Heiner, S Lehrack : ical Pathways Using Petri Nets ; Proc. CMSB 2007, LNCS/LNBI 4695, pp
30 Qualitative Petri Net - Extensions (Qualitative) Petri net + special arcs : read arc inhibitor arc equal arc reset arc t0 t1 2 2 p0 p t3 t2 read/inhibitor/equal arcs : influence on enabling, tested place is not changed by the firing reset arc : no influence on enabling, tested place is reset to zero
31 Stochastic Petri Net - Extensions special arcs : read, inhibitor, equal, reset immediate transitions - highest priority deterministic transitions : deterministic waiting time/delay - relative time points scheduled transitions : start(repetition)end schedule specifies absolute points of the simulation time where the transition may fire, if enabled remark : immediate transition deterministic transition with zero waiting time
32 Extended Stochastic Petri Net Definition, part 1 : A biochemically interpreted deterministic and stochastic Petri net is a septuple DSPN Bio = (P,T,f,g,v,d,m 0 ), where P, T - finite, non empty, disjoint sets (places, transitions) The set T is the union of three disjunctive transition sets : T := T stoch T im T timed with : T stoch - set of stochastic transitions with exponentially distributed waiting time, T im - set of immediate transitions, T timed - set of transitions with deterministic waiting time.... continued on next slide
33 Extended Stochastic Petri Net Definition, part 2 : f : ((P T) (T P)) N 0 (weighted directed arcs) g : (P T) N 0 (weighted directed inhibitor arcs) v : T H (stochastic firing rate functions) with - H := { } t T h t h t : N t 0 R + - v(t) = h t for all transitions t T d : T timed R + (deterministic waiting time) m 0 : P N 0 (initial marking) Semantics : CTMC? simulative MC/PLTLc
34 Extended Stochastic Petri Nets, Examples EX1 : time-controlled inflow/outflow input A B output input - scheduled(11,1,20) output - scheduled(31,1,40) t1 t2 Marking Time A B
35 Extended Stochastic Petri Net, Examples EX2 : time-controlled inflow/outflow input A t1 t2 B switch_output_off output output_on input - scheduled(11,1,20) switch_output_on - scheduled(20,20,_simend) switch_output_on Marking Time A B
36 Extended Stochastic Petri Net, Examples EX3 : Token-controlled Inflow input A t1 t2 B Marking A B 100 t1 - BioMassAction(0.1) t2 - BioMassAction(0.005) Time
37 Extended Stochastic Petri Net, Examples EX4 : Token-controlled Inflow t1 input_on input_off input A B 10 switch_on switch_off 30 t2 output input - delay(0.5) output - scheduled(5,5,_simend) Marking Time A input_on
38 Extended Stochastic Petri Net, Examples EX5 : time-controlled switch between deterministic and stochastic behaviour stochastic_on t_stoch switch_to_stoch switch_to_det 1000 A det_on t_det B Marking A B switch_to_det - scheduled(10) switch_to_stoch - scheduled(30) Time
39 Extended Stochastic Petri Net, Examples EX6 : token-controlled switch between deterministic and stochastic behaviour switch_to_stoch 500 stochastic_on 700 switch_to_det det_on t_stoch A 1000 B t_det Marking Time A B
40 Framework Molecules/Levels CTL, LTL Qualitative Time-free Timed, Quantitative Molecules/Levels Stochastic rates CSL Abstraction Stochastic Approximation of Hazard function, type (1) Approximation by Hazard function, type (2) Abstraction Continuous Concentrations Deterministic rates LTLc Discrete State Space Continuous State Space
41 Tools model construction BioNessi (London) Snoopy (CB)
42 Tools model construction BioNessi (London) Snoopy (CB) qualitative analysis INA (HUB), Charlie (CB) BDD-CTL (Boolean), IDD-CTL (integer) (CB)
43 Tools model construction BioNessi (London) Snoopy (CB) qualitative analysis INA (HUB), Charlie (CB) BDD-CTL (Boolean), IDD-CTL (integer) (CB) stochastic analysis PRISM/CSL (Oxford), IDD-CSL (CB) MC2/PLTLc (Glasgow)
44 Tools model construction BioNessi (London) Snoopy (CB) qualitative analysis INA (HUB), Charlie (CB) BDD-CTL (Boolean), IDD-CTL (integer) (CB) stochastic analysis PRISM/CSL (Oxford), IDD-CSL (CB) MC2/PLTLc (Glasgow) continuous analysis MATLAB BIOCHAM/LTLc (INRIA/Paris), MC2/LTLc (Glasgow)
45 Tools - Snoopy s Export Features Latex MetaTool SBML Level 2 Continuous PN Extended PN APNN INA LoLA Maria PEP Prod Tina Stochastic PN Petri Net INA tim INA tmd PRISM SMART Music PN Modulo PN Time PN IDD-CSL all net classes export to EPS; MIF; Xfig all Petri net classes are read by Charlie
46 ... some more examples deg_mr 10 mr 10 transc_dr transc_dr_a transl_r deg_c Circadian Clock ; PRISM web page dr_a rel_r 10 bind_r dr r deg_r 10 deactive c places : 9 transitions : 16 deg_a a 10 rel_a bind_a 10 transl_a da_a da deg_ma transc_da_a transc_da ma
47 ... some more examples not covered by T invariants 20 k3 G P3 GP3 Receptor k4 Survival k1 KdStar k0 k6 KdStar k5 Regeneration KdStarG KdStarGP3 Proliferation k2 KdStarGStar k7 P3 k11 k10..., Balbo : Angiogenesis Process ; CMSB 2009 k16 KdStarGStarP3k KdStar GStarP3kP3 KdStarGStarP3 GStarP3 P3k P3k P3k Pg Pg Pg k17 k22 k23 k12 k14 k9 k13 k8 k50 k49 k51 k44 k43 k38 k37 KdStar Pg k32 k31 KdStarGStarP3kP3 KdStar GStarPgP3 KdStar KdStarGStarPgP3 KdStarGStarPg KdStarPg places : 39 transitions : 64 k18 KdStarGStarP3kStar P2 k15 k24 KdStarGStarP3kStarP3 P2 P2 k52 k45 KdStarGStarPgStarP3 P2 k39 KdStarGStarPgStar P2 k33 KdStarPgStar P2 k19 k20 k25 k26 k57 k56 k47 k46 k41 k40 k35 k34 KdStarGStarP3kStarP2 KdStarGStarP3kStarP3P2 Pt k55 PtP2 k63 KdStarGStarPgStarP3P2 KdStarGStarPgStarP2 KdStarPgStarP2 P3 k21 k27 PtP3 k59 k58 DAGE E k48 k42 k36 k54 k53 PtP3P2 k60 k61 k62 Akt P3 DAG k29 k28 AktP3 k30 AktStar
48 ... some more examples C:Gi/Gq Protein Aktivierung über B2 R D:Gq Protein Aktivierung über m R B B2 R m R Ach Galphaq GDP r0 6 r0 8 Galphaq GTP B:Gi Protein Aktivierung über CB R E:Gs Protein Aktivierung über beta2ar CB,AEA(EX) r0 4 CB R Gq Protein(I,GDP) beta2ar r0 10 A Gs Protein (I,GDP) Gi Protein (I,GDP) Pain-related pathways ; MOSS project, MD project group, 2009 places : 132 transitions : 152 A:Gi Protein Aktivierung über mu OR F:Gs Protein Aktivierung über PGE2 R mu OR O PGE2 R PGE2 r0 2 r0 12 Galphai GTPGalphas GTP H:IP3/DAG Synthese Galphai GDP G:Regulation AC Galphas GDP IP3 DAG camp I:cAMP Abbau L:Ca Pumpe S:IP3 Rezeptor/Channel Ca2+(EX) Ca2+(ER) Ca2+(IN) K:Regulation VACCs T:RYR Regulation PKA_kat J:Aktivierung der PKA U:SERCA PKC(A) N:Aktivierung PKC V:Synaptische Ausschüttung R:Regulation TRPV1 CaMKII(A) O:Aktivierung CaMKII Calcineurin(A) P:Aktivierung Calcineurin AEA(IN) Q:AEA Regulation
49 ... some more examples C. elegance vulval development : places : 206, transitions : Miyano et al., BMC Syst. Biol ; - Bonzanni et al., Bioinformatics 2009 ; LIN3_Anchorcell parameter AC p_s1 2 m1 p_d1 lin15 v4_lin15 v5_lin15 v6_lin15 v7_lin15 v8_lin15 LIN15_hyp7 v4_lin15_hyp7 v5_lin15_hyp7 v6_lin15_hyp7 v7_lin15_hyp7 v8_lin15_hyp7 p_s10 m29 p_d27 4_p_s10 m29 4_p_d27 5_p_s10 m29 5_p_d27 6_p_s10 m29 6_p_d27 7_p_s10 m29 7_p_d27 8_p_s10 m29 8_p_d p_s9 p_d26 4_p_s9 4_p_d26 5_p_s9 5_p_d26 6_p_s9 6_p_d26 7_p_s9 7_p_d26 8_p_s9 8_p_d26 LIN_3_from_hyp7 m28 v4_lin_3_from_hyp7 m28 v5_lin_3_from_hyp7 m28 v6_lin_3_from_hyp7 m28 v7_lin_3_from_hyp7 m28 v8_lin_3_from_hyp7 m28 VPC_3 VPC_4 VPC_5 VPC_6 VPC_7 VPC_8 p_u2 4_p_u2 5_p_u2 6_p_u2 7_p_u2 8_p_u2 LS_molecule_E v4_ls_molecule_e v5_ls_molecule_e v6_ls_molecule_e v7_ls_molecule_e v8_ls_molecule_e m270 m270 m270 m270 m270 m270
50 ... some more examples C. elegance vulval development : LIN_3_from_hyp7 LIN3_Anchorcell lin12_wt lin12_gf m28 m1 p_s3_wt p_s3_gf p24 p17 v4_ls_molecule_e p_s2 p_d5 p18 LIN12_NotchR_extracellular m270 p_d2 LET_23 m2 p3 LIN3_LET23 m3 p4 m4 p5 LIN3_LET23_dimer m5 p_d6 LIN_12 m20 LIN_12R_LScomplex m21 p19 m22 p_d9 LIN3_LET23_p_dimer p_d3 p_d4 SEM_5_active 4 p_s4 LIN12_NotchR_intracellular p_d8 p_d10 SEM_5 m6 p6 m7 p_d11 m23 LET60_active p_s5 p_d12 LET_60 m8 p7 m9 p_d13 m10 pd14 p_d15 m11 p_s6 MPK_1 p8 MPK_1_active_C 20 LST_inhibitor m27 p_d25 3_VPC_Nucleus m19 p_d28 LS_molecule p12 LS_molecule_E m270
51 ... some more examples C. elegance vulval development : v7_lin12_gf m11 v7_mpk_1_active_c v7_lin_12 m20 v7_mpk_1_active_n v7_lin12_notchr_intracellular 7_p13 m15 m12 7_p9 7_p23 m23 v7_lin_1_a 7_p_d16 v7_lin12_notchr_intracellular_n v7_lst_inhibitor m27 v7_lin31_lin1_complex 7_pd17 7_p10 m25 7_p_d23 m24 7_p20 m13 m14 v7_lin_31_a v7_lag_1 9 7_p21 v7_p_fate_2 m30 7_p_u2 7_ps7 7_pd18 7_p_d19 7_p14 m17 7_p_s87_p_d22 v7_lst 20 m16 v7_ls_mrna v7_lst_mrna m26 7_p_d24 7_p_u1 7_pd20 v7_vulval_gene 7_p11 7_pd21 v7_p_fate_1 m18 7_p15 7_p22 m19 v7_ls_molecule m5 v7_lin3_let23_p_dimer
CSL model checking of biochemical networks with Interval Decision Diagrams
CSL model checking of biochemical networks with Interval Decision Diagrams Brandenburg University of Technology Cottbus Computer Science Department http://www-dssz.informatik.tu-cottbus.de/software/mc.html
More informationMILANO, JUNE Monika Heiner Brandenburg University of Technology Cottbus
MILANO, JUNE 2013 WHAT CAN PETRI NETS DO 4 MULTISCALE SYSTEMS BIOLOGY? Monika Heiner Brandenburg University of Technology Cottbus http://www-dssz.informatik.tu-cottbus.de/bme/petrinets2013 PETRI NETS -
More informationFrom Petri Nets to Differential Equations An Integrative Approach for Biochemical Network Analysis
From Petri Nets to Differential Equations An Integrative Approach for Biochemical Network Analysis David Gilbert drg@brc.dcs.gla.ac.uk Bioinformatics Research Centre, University of Glasgow and Monika Heiner
More informationMODEL CHECKING - PART I - OF CONCURRENT SYSTEMS. Petrinetz model. system properties. Problem system. model properties
BTU COTTBUS, C, PHD WORKSHOP W JULY 2017 MODEL CHECKING OF CONCURRENT SYSTEMS - PART I - Monika Heiner BTU Cottbus, Computer Science Institute MODEL-BASED SYSTEM ANALYSIS Problem system system properties
More informationA Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets David Gilbert 1,MonikaHeiner 2, and Sebastian Lehrack 3 1 Bioinformatics Research Centre, University of Glasgow Glasgow
More informationbiological networks Claudine Chaouiya SBML Extention L3F meeting August
Campus de Luminy - Marseille - France Petri nets and qualitative modelling of biological networks Claudine Chaouiya chaouiya@igc.gulbenkian.pt chaouiya@tagc.univ-mrs.fr SML Extention L3F meeting 1-13 ugust
More informationStochastic Petri Net. Ben, Yue (Cindy) 2013/05/08
Stochastic Petri Net 2013/05/08 2 To study a formal model (personal view) Definition (and maybe history) Brief family tree: the branches and extensions Advantages and disadvantages for each Applications
More informationDiscrete-Time Leap Method for Stochastic Simulation
Discrete- Leap Method for Stochastic Simulation Christian Rohr Brandenburg University of Technology Cottbus-Senftenberg, Chair of Data Structures and Software Dependability, Postbox 1 13 44, D-313 Cottbus,
More informationFrom cell biology to Petri nets. Rainer Breitling, Groningen, NL David Gilbert, London, UK Monika Heiner, Cottbus, DE
From cell biology to Petri nets Rainer Breitling, Groningen, NL David Gilbert, London, UK Monika Heiner, Cottbus, DE Biology = Concentrations Breitling / 2 The simplest chemical reaction A B irreversible,
More informationIV121: Computer science applications in biology
IV121: Computer science applications in biology Quantitative Models in Biology David Šafránek March 5, 2012 Obsah Continuous mass action Stochastic mass action Beyond elementary reaction kinetics What
More informationSYSTEMS BIOLOGY - A PETRI NET PERSPECTIVE -
ILMENAU, JULY 006 SYSTEMS BIOLOGY - A PETRI NET PERSPECTIVE - WHAT HAVE TECHNICAL AND NATURAL SYSTEMS IN COMMON? Monika Heiner Brandenburg University of Technology Cottbus Dept. of CS LONG-TERM VISION
More informationFrom Petri Nets to Differential Equations - an Integrative Approach for Biochemical Network Analysis
From Petri Nets to Differential Equations - an Integrative Approach for Biochemical Network Analysis David Gilbert 1 and Monika Heiner 2 1 Bioinformatics Research Centre, University of Glasgow Glasgow
More informationFROM PETRI NETS TUTORIAL, PART II A STRUCTURED APPROACH... TO DIFFERENTIAL EQUATIONS ISMB, JULY 2008
ISMB, JULY 008 A STRUCTURED APPROACH... TUTORIAL, PART II FROM PETRI NETS TO DIFFERENTIAL EQUATIONS Monika Heiner Brandenburg University of Technology Cottbus, Dept. of CS FRAMEWORK: SYSTEMS BIOLOGY MODELLING
More informationColoured hybrid Petri nets for systems biology
Coloured hybrid Petri nets for systems biology Mostafa Herajy 1, Fei Liu 2 and Christian Rohr 3 1 Department of Mathematics and Computer Science, Faculty of Science, Port Said University, 42521 - Port
More informationA Structured Approach Part IV. Model Checking in Systems and Synthetic Biology
A Structured Approach Part IV Model Checking in Systems and Synthetic Biology Robin Donaldson Bioinformatics Research Centre University of Glasgow, Glasgow, UK Model Checking - ISMB08 1 Outline Introduction
More informationNoPain Meeting. Jan 28, Department of Computer Science Brandenburg University of Technology Cottbus.
opain Meeting Monia Heiner Christian Rohr Department of Computer Science Brandenburg University of Technology Cottbus http://www-dssz.informati.tu-cottbus.de Jan, 1 Wor Pacages Coloured hybrid Petri nets
More informationMBI, OHIO STATE UNIVERSITY, COLUMBUS
MBI, OHIO STATE UNIVERSITY, COLUMBUS BIOMODEL ENGINEERING - A PETRI NET PERSPECTIVE - Monika Heiner Brandenburg University of Technology Cottbus Computer Science Institute MODELS IN SYSTEMS BIOLOGY - OBSERVED
More informationPetri net models. tokens placed on places define the state of the Petri net
Petri nets Petri net models Named after Carl Adam Petri who, in the early sixties, proposed a graphical and mathematical formalism suitable for the modeling and analysis of concurrent, asynchronous distributed
More informationPetri Net Modeling of Irrigation Canal Networks
Petri Net Modeling of Irrigation Canal Networks Giorgio Corriga, Alessandro Giua, Giampaolo Usai DIEE: Dip. di Ingegneria Elettrica ed Elettronica Università di Cagliari P.zza d Armi 09123 CAGLIARI, Italy
More informationStochastic Petri Nets. Jonatan Lindén. Modelling SPN GSPN. Performance measures. Almost none of the theory. December 8, 2010
Stochastic Almost none of the theory December 8, 2010 Outline 1 2 Introduction A Petri net (PN) is something like a generalized automata. A Stochastic Petri Net () a stochastic extension to Petri nets,
More informationA compact modeling approach for deterministic biological systems
A compact modeling approach for deterministic biological systems Luis M. Torres 1 Annegret K. Wagler 2 1 Ecuadorian Research Center on Mathematical Modeling ModeMat Escuela Politécnica Nacional, Quito
More informationAnalysis and Optimization of Discrete Event Systems using Petri Nets
Volume 113 No. 11 2017, 1 10 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu ijpam.eu Analysis and Optimization of Discrete Event Systems using Petri Nets
More informationTime(d) Petri Net. Serge Haddad. Petri Nets 2016, June 20th LSV ENS Cachan, Université Paris-Saclay & CNRS & INRIA
Time(d) Petri Net Serge Haddad LSV ENS Cachan, Université Paris-Saclay & CNRS & INRIA haddad@lsv.ens-cachan.fr Petri Nets 2016, June 20th 2016 1 Time and Petri Nets 2 Time Petri Net: Syntax and Semantic
More informationMATHEMATICAL MODELLING OF BIOCHEMICAL NETWORKS
FMP BERLIN, FEBRUARY 007 MATHEMATICAL MODELLING OF BIOCHEMICAL NETWORKS WITH PETRI NETS Monika Heiner Brandenburg University of Technology Cottbus Dept. of CS MODEL- BASED SYSTEM ANALYSIS Problem system
More informationEfficient Symbolic Analysis of Bounded Petri Nets Using Interval Decision Diagrams
Efficient Symbolic Analysis of Bounded Petri Nets Using Interval Decision Diagrams Von der Fakultät für Mathematik, Naturwissenschaften und Informatik der Brandenburgischen Technischen Universität Cottbus
More informationCOMPRESSED STATE SPACE REPRESENTATIONS - BINARY DECISION DIAGRAMS
QUALITATIVE ANALYIS METHODS, OVERVIEW NET REDUCTION STRUCTURAL PROPERTIES COMPRESSED STATE SPACE REPRESENTATIONS - BINARY DECISION DIAGRAMS LINEAR PROGRAMMING place / transition invariants state equation
More informationTime and Timed Petri Nets
Time and Timed Petri Nets Serge Haddad LSV ENS Cachan & CNRS & INRIA haddad@lsv.ens-cachan.fr DISC 11, June 9th 2011 1 Time and Petri Nets 2 Timed Models 3 Expressiveness 4 Analysis 1/36 Outline 1 Time
More informationOn Qualitative Analysis of Fault Trees Using Structurally Persistent Nets
On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets Ricardo J. Rodríguez rj.rodriguez@unileon.es Research Institute of Applied Sciences in Cybersecurity University of León, Spain
More informationDES. 4. Petri Nets. Introduction. Different Classes of Petri Net. Petri net properties. Analysis of Petri net models
4. Petri Nets Introduction Different Classes of Petri Net Petri net properties Analysis of Petri net models 1 Petri Nets C.A Petri, TU Darmstadt, 1962 A mathematical and graphical modeling method. Describe
More informationAN INTRODUCTION TO DISCRETE-EVENT SIMULATION
AN INTRODUCTION TO DISCRETE-EVENT SIMULATION Peter W. Glynn 1 Peter J. Haas 2 1 Dept. of Management Science and Engineering Stanford University 2 IBM Almaden Research Center San Jose, CA CAVEAT: WE ARE
More informationDiscrete Event Systems Exam
Computer Engineering and Networks Laboratory TEC, NSG, DISCO HS 2016 Prof. L. Thiele, Prof. L. Vanbever, Prof. R. Wattenhofer Discrete Event Systems Exam Friday, 3 rd February 2017, 14:00 16:00. Do not
More informationApplications of Petri Nets
Applications of Petri Nets Presenter: Chung-Wei Lin 2010.10.28 Outline Revisiting Petri Nets Application 1: Software Syntheses Theory and Algorithm Application 2: Biological Networks Comprehensive Introduction
More informationOn the Importance of the Deadlock Trap Property for Monotonic Liveness
On the Importance of the Deadlock Trap Property for Monotonic Liveness Monika Heiner 1, Cristian Mahulea 2, Manuel Silva 2 1 Department of Computer Science, Brandenburg University of Technology Postbox
More informationBiological Pathways Representation by Petri Nets and extension
Biological Pathways Representation by and extensions December 6, 2006 Biological Pathways Representation by and extension 1 The cell Pathways 2 Definitions 3 4 Biological Pathways Representation by and
More informationFrom Stochastic Processes to Stochastic Petri Nets
From Stochastic Processes to Stochastic Petri Nets Serge Haddad LSV CNRS & ENS Cachan & INRIA Saclay Advanced Course on Petri Nets, the 16th September 2010, Rostock 1 Stochastic Processes and Markov Chains
More informationA REACHABLE THROUGHPUT UPPER BOUND FOR LIVE AND SAFE FREE CHOICE NETS VIA T-INVARIANTS
A REACHABLE THROUGHPUT UPPER BOUND FOR LIVE AND SAFE FREE CHOICE NETS VIA T-INVARIANTS Francesco Basile, Ciro Carbone, Pasquale Chiacchio Dipartimento di Ingegneria Elettrica e dell Informazione, Università
More informationSPA for quantitative analysis: Lecture 6 Modelling Biological Processes
1/ 223 SPA for quantitative analysis: Lecture 6 Modelling Biological Processes Jane Hillston LFCS, School of Informatics The University of Edinburgh Scotland 7th March 2013 Outline 2/ 223 1 Introduction
More informationReasoning about the ERK signal transduction pathway using BioSigNet-RR
Reasoning about the ERK signal transduction pathway using BioSigNet-RR Carron Shankland a, Nam Tran b, Chitta Baral b, and Walter Kolch c a Department of Computing Science and Mathematics, University of
More informationPopulation models from PEPA descriptions
Population models from PEPA descriptions Jane Hillston LFCS, The University of Edinburgh, Edinburgh EH9 3JZ, Scotland. Email: jeh@inf.ed.ac.uk 1 Introduction Stochastic process algebras (e.g. PEPA [10],
More informationReconstructing X -deterministic extended Petri nets from experimental time-series data X
econstructing X -deterministic extended Petri nets from experimental time-series data X Marie C.F. Favre, Annegret K. Wagler Laboratoire d Informatique, de Modélisation et d Optimisation des Systèmes (LIMOS,
More informationPetri nets. s 1 s 2. s 3 s 4. directed arcs.
Petri nets Petri nets Petri nets are a basic model of parallel and distributed systems (named after Carl Adam Petri). The basic idea is to describe state changes in a system with transitions. @ @R s 1
More informationBioModel Engineering for Multiscale Systems Biology
BioModel Engineering for Multiscale Systems Biology Monika Heiner a, David Gilbert b a Department of Computer Science, Brandenburg University of Technology Postbox 0, 00 Cottbus, Germany monika.heiner@informatik.tu-cottbus.de
More informationQualitative modelling and analysis of Photosystem II
Qualitative modelling and analysis of Photosystem II Luboš Brim, Vilém Děd and David Šafránek Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00 Brno, Czech Republic
More informationComputational Methods in Systems and Synthetic Biology
Computational Methods in Systems and Synthetic Biology François Fages EPI Contraintes, Inria Paris-Rocquencourt, France 1 / 62 Need for Abstractions in Systems Biology Models are built in Systems Biology
More informationSome investigations concerning the CTMC and the ODE model derived from Bio-PEPA
FBTC 2008 Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA Federica Ciocchetta 1,a, Andrea Degasperi 2,b, Jane Hillston 3,a and Muffy Calder 4,b a Laboratory for Foundations
More informationADVANCED ROBOTICS. PLAN REPRESENTATION Generalized Stochastic Petri nets and Markov Decision Processes
ADVANCED ROBOTICS PLAN REPRESENTATION Generalized Stochastic Petri nets and Markov Decision Processes Pedro U. Lima Instituto Superior Técnico/Instituto de Sistemas e Robótica September 2009 Reviewed April
More informationStochastic Petri Net
Stochastic Petri Net Serge Haddad LSV ENS Cachan & CNRS & INRIA haddad@lsv.ens-cachan.fr Petri Nets 2013, June 24th 2013 1 Stochastic Petri Net 2 Markov Chain 3 Markovian Stochastic Petri Net 4 Generalized
More informationModeling and Stability Analysis of a Communication Network System
Modeling and Stability Analysis of a Communication Network System Zvi Retchkiman Königsberg Instituto Politecnico Nacional e-mail: mzvi@cic.ipn.mx Abstract In this work, the modeling and stability problem
More informationSpecification models and their analysis Petri Nets
Specification models and their analysis Petri Nets Kai Lampka December 10, 2010 1 30 Part I Petri Nets Basics Petri Nets Introduction A Petri Net (PN) is a weighted(?), bipartite(?) digraph(?) invented
More informationMulti-State Availability Modeling in Practice
Multi-State Availability Modeling in Practice Kishor S. Trivedi, Dong Seong Kim, Xiaoyan Yin Depart ment of Electrical and Computer Engineering, Duke University, Durham, NC 27708 USA kst@ee.duke.edu, {dk76,
More informationModeling biological systems with uncertain kinetic data using fuzzy continuous Petri nets
Liuet al. BMC Systems Biology 2018, 12(Suppl 4):42 https://doi.org/10.1186/s12918-018-0568-8 RESEARCH Open Access Modeling biological systems with uncertain kinetic data using fuzzy continuous Petri nets
More informationSimulation of Spiking Neural P Systems using Pnet Lab
Simulation of Spiking Neural P Systems using Pnet Lab Venkata Padmavati Metta Bhilai Institute of Technology, Durg vmetta@gmail.com Kamala Krithivasan Indian Institute of Technology, Madras kamala@iitm.ac.in
More informationEmbedded Systems 6 REVIEW. Place/transition nets. defaults: K = ω W = 1
Embedded Systems 6-1 - Place/transition nets REVIEW Def.: (P, T, F, K, W, M 0 ) is called a place/transition net (P/T net) iff 1. N=(P,T,F) is a net with places p P and transitions t T 2. K: P (N 0 {ω})
More informationFormal methods for checking the consistency of biological models
Chapter 1 Formal methods for checking the consistency of biological models Allan Clark, Vashti Galpin, Stephen Gilmore, Maria Luisa Guerriero and Jane Hillston Abstract Formal modelling approaches such
More informationAnalysing Biochemical Oscillation through Probabilistic Model Checking
Analysing Biochemical Oscillation through Probabilistic Model Checking Paolo Ballarini 1 and Radu Mardare 1 and Ivan Mura 1 Abstract Automated verification of stochastic models has been proved to be an
More informationPETRI NET BASED DEPENDABILITY ENGINEERING
Brandenburg University of Technology, Computer Science Institute BASIC STRUCTURE OF REACTIVE SYSTEMS PETRI NET BASED DEPENDABILITY ENGINEERING pre process controller post process OF REACTIVE SYSTEMS sensors
More informationMODELING AND SIMULATION BY HYBRID PETRI NETS. systems, communication systems, etc). Continuous Petri nets (in which the markings are real
Proceedings of the 2012 Winter Simulation Conference C. Laroque, J. Himmelspach, R. Pasupathy, O. Rose, and A. M. Uhrmacher, eds. MODELING AND SIMULATION BY HYBRID PETRI NETS Hassane Alla Latéfa Ghomri
More informationPetri Nets (for Planners)
Petri (for Planners) B. Bonet, P. Haslum... from various places... ICAPS 2011 & Motivation Petri (PNs) is formalism for modelling discrete event systems Developed by (and named after) C.A. Petri in 1960s
More informationComposition of product-form Generalized Stochastic Petri Nets: a modular approach
Composition of product-form Generalized Stochastic Petri Nets: a modular approach Università Ca Foscari di Venezia Dipartimento di Informatica Italy October 2009 Markov process: steady state analysis Problems
More informationTime Petri Nets. Miriam Zia School of Computer Science McGill University
Time Petri Nets Miriam Zia School of Computer Science McGill University Timing Specifications Why is time introduced in Petri nets? To model interaction between activities taking into account their start
More informationProbabilistic Model Checking for Biochemical Reaction Systems
Probabilistic Model Checing for Biochemical Reaction Systems Ratana Ty Ken-etsu Fujita Ken ichi Kawanishi Graduated School of Science and Technology Gunma University Abstract Probabilistic model checing
More informationComplete Process Semantics for Inhibitor Nets Technical Report
Complete Process Semantics for Inhibitor Nets Technical Report Gabriel Juhás 2, Robert Lorenz 1, and Sebastian Mauser 1 1 Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,
More informationModelling in Systems Biology
Modelling in Systems Biology Maria Grazia Vigliotti thanks to my students Anton Stefanek, Ahmed Guecioueur Imperial College Formal representation of chemical reactions precise qualitative and quantitative
More informationProxel-Based Simulation of Stochastic Petri Nets Containing Immediate Transitions
Electronic Notes in Theoretical Computer Science Vol. 85 No. 4 (2003) URL: http://www.elsevier.nl/locate/entsc/volume85.html Proxel-Based Simulation of Stochastic Petri Nets Containing Immediate Transitions
More informationModeling Continuous Systems Using Modified Petri Nets Model
Journal of Modeling & Simulation in Electrical & Electronics Engineering (MSEEE) 9 Modeling Continuous Systems Using Modified Petri Nets Model Abbas Dideban, Alireza Ahangarani Farahani, and Mohammad Razavi
More informationModelos Formales en Bioinformática
1 / 51 Modelos Formales en Bioinformática Javier Campos, Jorge Júlvez University of Zaragoza 2 / 51 Outline 1 Systems Biology 2 Population Dynamics Example 3 Formal Models 4 Stochasticity 3 / 51 Outline
More informationAnalysing Signal-Net Systems
Analysing Signal-Net Systems Peter H. Starke, Stephan Roch Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6, D-10099 Berlin {starke,roch}@informatik.hu-berlin.de September 2002
More informationQualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway
Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp13/JAK/STAT Signalling Pathway Maria Luisa Guerriero Laboratory for Foundations of Computer Science, The University of Edinburgh, UK Abstract.
More informationNew Computational Methods for Systems Biology
New Computational Methods for Systems Biology François Fages, Sylvain Soliman The French National Institute for Research in Computer Science and Control INRIA Paris-Rocquencourt Constraint Programming
More informationA Structure Causality Relation for Liveness Characterisation in Petri Nets
Journal of Universal Computer Science, vol. 12, no. 2 (2006), 214-232 submitted: 4/10/04, accepted: 9/5/05, appeared: 28/2/06 J.UCS A Structure Causality Relation for Liveness Characterisation in Petri
More informationUsing Coloured Petri Nets for integrated reliability and safety evaluations
Author manuscript, published in "4th IFAC Workshop on Dependable Control of Discrete Systems, York : United Kingdom (2013)" DOI : 10.3182/20130904-3-UK-4041.00016 Using Coloured Petri Nets for integrated
More informationHYPENS Manual. Fausto Sessego, Alessandro Giua, Carla Seatzu. February 7, 2008
HYPENS Manual Fausto Sessego, Alessandro Giua, Carla Seatzu February 7, 28 HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to
More informationRecent results on Timed Systems
Recent results on Timed Systems Time Petri Nets and Timed Automata Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr Based on joint work with F. Cassez, S. Haddad, D.
More informationProbabilistic verification and approximation schemes
Probabilistic verification and approximation schemes Richard Lassaigne Equipe de Logique mathématique, CNRS-Université Paris 7 Joint work with Sylvain Peyronnet (LRDE/EPITA & Equipe de Logique) Plan 1
More informationProbabilistic Time Petri Nets
Probabilistic Time Petri Nets Yrvann Emzivat 1,3, Benoît Delahaye, Didier Lime 1, and Olivier H. Roux 1 1 École Centrale de Nantes, IRCCyN UMR CNRS 6597 (France) Université de Nantes, LINA UMR CNRS 641
More informationThe EGF Signaling Pathway! Introduction! Introduction! Chem Lecture 10 Signal Transduction & Sensory Systems Part 3. EGF promotes cell growth
Chem 452 - Lecture 10 Signal Transduction & Sensory Systems Part 3 Question of the Day: Who is the son of Sevenless? Introduction! Signal transduction involves the changing of a cell s metabolism or gene
More informationCONTINUOUS APPROXIMATION OF PEPA MODELS AND PETRI NETS
CONTINUOUS APPROXIMATION OF PEPA MODES AND PETRI NETS Vashti Galpin FCS, School of Informatics, University of Edinburgh, Scotland Email: Vashti.Galpin@ed.ac.uk KEYWORDS PEPA, Petri nets, continuous approximation,
More informationHybrid Control and Switched Systems. Lecture #1 Hybrid systems are everywhere: Examples
Hybrid Control and Switched Systems Lecture #1 Hybrid systems are everywhere: Examples João P. Hespanha University of California at Santa Barbara Summary Examples of hybrid systems 1. Bouncing ball 2.
More informationThe dynamics of deterministic systems A survey
The dynamics of deterministic systems A survey Luis M. Torres 1, Annegret K. Wagler 2 luis.torres@epn.edu.ec, wagler@isima.fr 1 Centro de Modelizatión Matemática (ModeMat) Escuela Politécnica Nacional,
More information1. sort of tokens (e.g. indistinguishable (black), coloured, structured,...),
7. High Level Petri-Nets Definition 7.1 A Net Type is determined if the following specification is given: 1. sort of tokens (e.g. indistinguishable (black), coloured, structured,...), 2. sort of labeling
More informationAutomatic Network Reconstruction
Automatic Network Reconstruction Annegret K. WAGLER Laboratoire d Informatique, de Modélisation et d Optimisation des Systèmes (LIMOS) UMR CNRS 658 Université Blaise Pascal, Clermont-Ferrand, France BioPPN
More informationWorst-case Analysis of Concurrent Systems with Duration Interval Petri Nets
Proc. EKA 97 (Entwurf komplexer Automatisierungssysteme), Braunschweig, May 1997, pp. 162-179 Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets Louchka Popova-Zeugmann Humboldt
More informationT 1 (p) T 3 (p) 2 (p) + T
εt) ut) Ep) ɛp) Tp) Sp) Ep) ɛp) T p) Up) T 2 p) T 3 p) Sp) Ep) ɛp) Cp) Up) Tp) Sp) Ep) ɛp) T p) Up) T 2 p) Cp) T 3 p) Sp) Ep) εp) K p Up) Tp) Sp) Cp) = Up) εp) = K p. ε i Tp) = Ks Np) p α Dp) α = ε i =
More informationPRISM An overview. automatic verification of systems with stochastic behaviour e.g. due to unreliability, uncertainty, randomisation,
PRISM An overview PRISM is a probabilistic model checker automatic verification of systems with stochastic behaviour e.g. due to unreliability, uncertainty, randomisation, Construction/analysis of probabilistic
More informationDecidability of Single Rate Hybrid Petri Nets
Decidability of Single Rate Hybrid Petri Nets Carla Seatzu, Angela Di Febbraro, Fabio Balduzzi, Alessandro Giua Dip. di Ing. Elettrica ed Elettronica, Università di Cagliari, Italy email: {giua,seatzu}@diee.unica.it.
More informationSPN 2003 Preliminary Version. Translating Hybrid Petri Nets into Hybrid. Automata 1. Dipartimento di Informatica. Universita di Torino
SPN 2003 Preliminary Version Translating Hybrid Petri Nets into Hybrid Automata 1 Marco Gribaudo 2 and Andras Horvath 3 Dipartimento di Informatica Universita di Torino Corso Svizzera 185, 10149 Torino,
More informationAtomic Fragments of Petri Nets Extended Abstract
Atomic Fragments of Petri Nets Extended Abstract Monika Heiner 1, Harro Wimmel 2, and Karsten Wolf 2 1 Brunel University Uxbridge/London, on sabbatical leave from Brandenburgische Technische Universität
More informationChem Lecture 10 Signal Transduction
Chem 452 - Lecture 10 Signal Transduction 111202 Here we look at the movement of a signal from the outside of a cell to its inside, where it elicits changes within the cell. These changes are usually mediated
More informationStochastic Process Algebra models of a Circadian Clock
Stochastic Process Algebra models of a Circadian Clock Jeremy T. Bradley Thomas Thorne Department of Computing, Imperial College London 180 Queen s Gate, London SW7 2BZ, United Kingdom Email: jb@doc.ic.ac.uk
More informationarxiv: v1 [math.oc] 21 Feb 2018
Noname manuscript No. (will be inserted by the editor) On detectability of labeled Petri nets with inhibitor arcs Kuize Zhang Alessandro Giua arxiv:1802.07551v1 [math.oc] 21 Feb 2018 Received: date / Accepted:
More informationQualitative dynamics semantics for SBGN process description
Qualitative dynamics semantics for SBGN process description Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé To cite this version: Adrien Rougny, Christine Froidevaux, Laurence Calzone,
More informationModelling the Randomness in Biological Systems
Modelling the Randomness in Biological Systems Ole Schulz-Trieglaff E H U N I V E R S I T Y T O H F R G E D I N B U Master of Science School of Informatics University of Edinburgh 2005 Abstract This dissertation
More informationIntroduction to Stochastic Petri Nets
Introduction to Stochastic Petri Nets Gianfranco Balbo Università di Torino, Torino, Italy, Dipartimento di Informatica balbo@di.unito.it Abstract. Stochastic Petri Nets are a modelling formalism that
More information7. Queueing Systems. 8. Petri nets vs. State Automata
Petri Nets 1. Finite State Automata 2. Petri net notation and definition (no dynamics) 3. Introducing State: Petri net marking 4. Petri net dynamics 5. Capacity Constrained Petri nets 6. Petri net models
More informationSystem Modelling of Mammalian Cell Cycle Regulation Using Multi-Level Hybrid Petri Nets
21st International Congress on Modelling and Simulation, Gold Coast, Australia, 29 Nov to 4 Dec 2015 www.mssanz.org.au/modsim2015 System Modelling of Mammalian Cell Cycle Regulation Using Multi-Level A.
More informationReliability of Technical Systems
Reliability of Technical Systems Main Topics 1. Short Introduction, Reliability Parameters: Failure Rate, Failure Probability, etc. 2. Some Important Reliability Distributions 3. Component Reliability
More informationBioinformatics Modelling dynamic behaviour: Modularisation
Bioinformatics Modelling dynamic behaviour: David Gilbert Bioinformatics Research Centre www.brc.dcs.gla.ac.uk Department of Computing Science, University of Glasgow Lecture outline Modelling Enzymatic
More informationMethods for the specification and verification of business processes MPB (6 cfu, 295AA)
Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni - Invariants Object We introduce two relevant kinds of invariants for
More informationInfluence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors
Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors François Fages, Thierry Martinez, David Rosenblueth, Sylvain Soliman To cite this version: François Fages, Thierry
More informationCompact Regions for Place/Transition Nets
Compact Regions for Place/Transition Nets Robin Bergenthum Department of Software Engineering and Theory of Programming, FernUniversität in Hagen robin.bergenthum@fernuni-hagen.de Abstract. This paper
More information