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

来源：

NATURE INSPIRED COOPERATIVE STRATEGIES FOR OPTIMIZATION (NICSO 2007) | 2008年 / 129卷

关键词：

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 条

[31] Continuous and hybrid Petri nets
Alla, H
David, R
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) : 159 - 188
[32] Design of embedded control systems using hybrid Petri nets
Hummel, T
Fengler, W
DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 189 - 194
[33] Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
Xenofon D. Koutsoukos
Kevin X. He
Michael D. Lemmon
Panos J. Antsaklis
Discrete Event Dynamic Systems, 1998, 8 : 137 - 173
[34] Modelling Hybrid Petri Nets to analyze contingencies in Power Systems
Lopez de Alba, Carlos Alberto
Ortiz Muro, Victor Hugo
Santoyo-Sanchez, Alejandra
2015 NORTH AMERICAN POWER SYMPOSIUM (NAPS), 2015,
[35] Modeling of Hybrid Systems by Hybrid Petri Nets Using Open Modelica and PNlib
Niznanska, Miriama
Kucera, Erik
Haffner, Oto
Kozakova, Alena
2016 CYBERNETICS & INFORMATICS (K&I), 2016,
[36] Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
Motallebi, Hassan
Azgomi, Mohammad Abdollahi
THEORETICAL COMPUTER SCIENCE, 2012, 446 : 48 - 74
[37] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring
Hatte, Leonie
Ribot, Pauline
Chanthery, Elodie
IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
[38] Combining hybrid Petri nets and hybrid automata
Sava, AT
Alla, H
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (05): : 670 - 678
[39] Hybrid modelling of biological systems using fuzzy continuous Petri nets
Liu, Fei
Sun, Wujie
Heiner, Monika
Gilbert, David
BRIEFINGS IN BIOINFORMATICS, 2021, 22 (01) : 438 - 450
[40] Modeling and simulation of hybrid dynamical systems with generalized differential Petri nets
Wu, YL
Wu, WM
Zeng, HC
Sun, GJ
Su, HY
Chu, J
PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, 2002, : 789 - 794

← 1 2 3 4 5 →