MP Systems and Hybrid Petri Nets

被引:0
|
作者
Castellini, Alberto [1 ]
Manca, Vincenzo [1 ]
Marchetti, Luca [1 ]
机构
[1] Univ Verona, Dept Comp Sci, I-37134 Verona, Italy
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Metabolic P systems are a special class of P systems developed to model dynamics of biological phenomena related to metabolism and signaling transduction in the living cell. The main target of this model is to give an intuitive representation of biochemical pathways in order to facilitate the understanding of biological mechanisms. A new notation of MP graphs [16] will be defined as a graphical representation of MP systems and the graphical user interface we devised to draw MP graphs while working with our MP simulator Psim [4] will be described. We will propose also a comparison between MP systems and Hybrid Functional Petri Nets (HFPN) [19], which are an extension of Petri nets for biopathways simulation, to highlight several similarities between the two formalisms. Finally, a definition of equivalence between MP systems and HFPN will conclude the paper.
引用
收藏
页码:53 / 62
页数:10
相关论文
共 50 条
  • [21] Hybrid Petri nets for the performance analysis of transportation systems
    Di Febbraro, A
    Sacone, S
    PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 3232 - 3237
  • [22] Using Hybrid Petri Nets for Performance Analysis in Manufacturing Systems
    Munteanu, Calin
    Caramihai, Simona
    Moisescu, Mihnea Alexandru
    Sacala, Ioan Stefan
    SERVICE ORIENTATION IN HOLONIC AND MULTI-AGENT MANUFACTURING CONTROL, 2012, 402 : 255 - 264
  • [23] Modeling production systems with inventory using Hybrid Petri Nets
    Furcas, R
    Giua, A
    Piccaluga, A
    Seatzu, C
    PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA'01), 2001, : 434 - 440
  • [24] Simulation of hybrid control systems using open petri nets
    Bartkevicius, S
    Macerauskas, V
    Sarkauskas, K
    1st International Industrial Simulation Conference 2003, 2003, : 131 - 135
  • [25] Continuous Petri Nets and Hybrid Automata for the analysis of manufacturing systems
    Ghomri, Latefa
    Alla, Hassane
    IFAC PAPERSONLINE, 2015, 48 (03): : 1024 - 1029
  • [26] Timed Petri nets in hybrid systems: Stability and supervisory control
    Koutsoukos, XD
    He, KX
    Lemmon, MD
    Antsaklis, PJ
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (02): : 137 - 173
  • [27] Hybrid Petri nets as a new formalism for modelling railway systems
    Decknatel, G
    Schnieder, E
    COMPUTERS IN RAILWAYS VI, 1998, 2 : 773 - 782
  • [28] Modelling of hybrid systems based on extended coloured Petri nets
    Yang, YY
    Linkens, DA
    Banks, SP
    HYBRID SYSTEMS II, 1995, 999 : 509 - 528
  • [29] Petri nets control design for hybrid electrical energy systems
    Mboup, Alioune Badara
    Guerin, Francois
    Ndiaye, Pape Alioune
    Lefebvre, Dimitri
    2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 5012 - +
  • [30] Modeling of hybrid supervisory systems using UML and Petri nets
    Miyagi, PE
    Villani, E
    Maruyama, N
    ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 149 - 158