Producer/consumer in membrane systems and Petri nets

被引：0
|
作者：
Bernardini, Francesco [1 ]
Gheorghe, Marian [2 ]
Margenstern, Maurice [3 ]
Verlan, Sergey [4 ]
机构：
[1] Leiden Univ, LIACS, Niels Bohrweg 1, NL-2333CA Leiden, Netherlands
[2] Univ Sheffield, Dept Comp Sci, Sheffield S14DP, S Yorkshire, England
[3] Universite Paul Verlaine Metz, UFR MIM, LITA, F-57045 Metz, France
[4] Univ Paris 12, Dept Informat, LACL, F-94010 Creteil, France
来源：
COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS | 2007年 / 4497卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The paper investigates different relationships between membrane systems and Petri nets by focusing on modelling variants of the producer/consumer paradigm. Two models of producer/consumer systems based on membrane systems are described, and it is shown how to translate these models into equivalent Petri nets with a corresponding semantics. It is then observed a direct correspondence between the Petri nets representation of the proposed models and standard solutions based on Petri nets already present in the literature.
引用
收藏
页码：43 / +
页数：2
相关论文
共 50 条
  • [1] Time Delays in Membrane Systems and Petri Nets
    Aman, Bogdan
    Ciobanu, Gabriel
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (57): : 47 - 60
  • [2] Producer-Consumer Distributed Energy Production Systems modeling with a new Approach of Recurrent Synchronized Fuzzy Petri Nets
    Minca, Eugenia
    Dragomir, Otilia Elena
    Dragomir, Florin
    [J]. 2010 8TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2010, : 1668 - 1673
  • [3] Local time membrane systems and time Petri nets
    Aman, Bogdan
    Battyanyi, Peter
    Ciobanu, Gabriel
    Vaszil, Gyorgy
    [J]. THEORETICAL COMPUTER SCIENCE, 2020, 805 : 175 - 192
  • [4] Membrane Computing and Petri Nets
    Vaszil, Gyorgy
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 388 : 2 - 2
  • [5] Membrane Computing and Petri Nets
    Vaszil, György
    [J]. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2023, 388
  • [6] Coloured fuzzy Petri nets for modelling and analysing membrane systems
    Assaf, George
    Heiner, Monika
    Liu, Fei
    [J]. BIOSYSTEMS, 2022, 212
  • [7] Modeling membrane systems using colored stochastic Petri nets
    Liu, Fei
    Heiner, Monika
    [J]. NATURAL COMPUTING, 2013, 12 (04) : 617 - 629
  • [8] Verification of membrane systems with delays via Petri nets with delays
    Aman, Bogdan
    Ciobanu, Gabriel
    [J]. THEORETICAL COMPUTER SCIENCE, 2015, 598 : 87 - 101
  • [9] Modeling membrane systems using colored stochastic Petri nets
    Fei Liu
    Monika Heiner
    [J]. Natural Computing, 2013, 12 : 617 - 629
  • [10] Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
    Péter Battyányi
    György Vaszil
    [J]. Journal of Membrane Computing, 2020, 2 : 341 - 354
12345