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 条
  • [41] The Optimal Control of Mine Drainage Systems Based on Hybrid Petri Nets
    Gao, Zhengzhong
    Zhao, Chenhui
    Shang, Chunlei
    Tan, Chong
    2017 CHINESE AUTOMATION CONGRESS (CAC), 2017, : 78 - 83
  • [42] Continuous flow Systems and Control Methodology Using Hybrid Petri nets
    Ghomri, Latefa
    Alla, Hassane
    CONTROL ENGINEERING AND APPLIED INFORMATICS, 2013, 15 (04): : 106 - 116
  • [43] Performance evaluation and model checking in systems modeled as Hybrid Petri nets
    Renganathan, K.
    Bhaskar, Vidhyacharan
    APPLIED MATHEMATICAL MODELLING, 2012, 36 (08) : 3941 - 3947
  • [44] Programmable timed Petri nets in the analysis and design of hybrid control systems
    Koutsoukos, X.D.
    Antsaklis, P.J.
    He, K.X.
    Lemmon, M.D.
    Proceedings of the IEEE Conference on Decision and Control, 1998, 2 : 1617 - 1622
  • [45] Diagnosability of Linear Hybrid Systems with discrete dynamics modelled by Petri nets
    Pissos, A. F.
    Vazquez, C. R.
    Munoz, M.
    Ramirez-Trevino, A.
    2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 1437 - 1440
  • [46] Hybrid aspects of modelling manufacturing systems using modified Petri nets
    Drath, R
    Engmann, U
    Schwuchow, S
    INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98), 1999, : 145 - 151
  • [47] Programmable timed Petri nets in the analysis and design of hybrid control systems
    Koutsoukos, XSD
    Antsaklis, PJ
    He, KXY
    Lemmon, MD
    PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 1617 - 1622
  • [48] Incremental modelling and analysis of biological systems with fuzzy hybrid Petri nets
    Assaf, George
    Liu, Fei
    Heiner, Monika
    BRIEFINGS IN BIOINFORMATICS, 2025, 26 (01)
  • [49] Colored Hybrid Petri-nets for modeling material handling systems
    Basile, Francesco
    Chiacchio, Pasquale
    Coppola, Jolanda
    2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 5881 - 5886
  • [50] Modular representation of urban traffic systems based on hybrid Petri nets
    Di Febbraro, A
    Giglio, D
    Sacco, N
    2001 IEEE INTELLIGENT TRANSPORTATION SYSTEMS - PROCEEDINGS, 2001, : 866 - 871