Membrane Computing and Petri Nets

被引：0
|
作者：
Vaszil, Gyorgy [1 ]
机构：
[1] Univ Debrecen, Debrecen, Hungary
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2023年 / 388卷
关键词：
D O I：
10.4204/EPTCS.388.2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：2 / 2
页数：1
相关论文
共 50 条
  • [21] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [22] Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism
    Kahloul, L.
    Chaoui, A.
    Djouani, K.
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2015, 10 (02) : 211 - 221
  • [23] PETRI NETS
    PETERSON, JL
    COMPUTING SURVEYS, 1977, 9 (03) : 223 - 252
  • [24] Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey
    Ding, Zhijun
    Yang, Ru
    IEEE ACCESS, 2018, 6 : 68038 - 68056
  • [25] Computing bounds for forbidden state reachability functions for controlled Petri nets
    Holloway, LE
    Khare, AS
    Gong, Y
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (02): : 219 - 228
  • [26] Computing minimal elements of upward-closed sets for Petri nets
    Yen, Hsu-Chun
    Chen, Chien-Liang
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007, 2007, 4546 : 465 - +
  • [27] An elastic controller using Colored Petri Nets in cloud computing environment
    Ali Shahidinejad
    Mostafa Ghobaei-Arani
    Leila Esmaeili
    Cluster Computing, 2020, 23 : 1045 - 1071
  • [28] Petri nets-based super scalar computing in programmable controllers
    Seoul Natl Univ, Seoul, Korea, Republic of
    IEICE Trans Fund Electron Commun Comput Sci, 11 (1511-1518):
  • [29] Mobile Edge Computing Performance Evaluation using Stochastic Petri Nets
    Carvalho, Daniel
    Rodrigues, Laecio
    Endo, Patricia Takako
    Kosta, Sokol
    Silva, Francisco Airton
    2020 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2020, : 115 - 120
  • [30] An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches
    Magnin, Morgan
    Lime, Didier
    Roux, Olivier
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (03) : 59 - 77
12345