On Interval Process Semantics of Petri Nets with Inhibitor Arcs

被引：2
|
作者：
Alqarni, Mohammed [1 ]
Janicki, Ryszard [1 ]
机构：
[1] McMaster Univ, Dept Comp & Software, Hamilton, ON L8S 4K1, Canada
来源：
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY | 2015年 / 9115卷
关键词：
RELATIONAL STRUCTURES; CONCURRENCY; READ;
D O I：
10.1007/978-3-319-19488-2_4
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Interval order semantics of Petri nets with inhibitor arc is discussed. Both the operational semantics and process, i.e. concurrent history, semantics are defined and their mutual relationship is discussed. It is shown that if operational semantics is restricted to stratified orders (i.e. step sequences) the proposed model is equivalent to models based on step processes and comtraces.
引用
收藏
页码：77 / 97
页数：21
相关论文
共 50 条
  • [31] A coalgebraic semantics for causality in Petri nets
    Bruni, Roberto
    Montanari, Ugo
    Sammartino, Matteo
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (06) : 853 - 883
  • [32] A Categorical Semantics for Bounded Petri Nets
    Genovese, Fabrizio
    Loregian, Fosco
    Palombi, Daniele
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (372): : 59 - 71
  • [33] A Categorical Semantics for Hierarchical Petri Nets
    Genovese, Fabrizio Romano
    Herold, Jelle
    Loregian, Fosco
    Palombi, Daniele
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 51 - 68
  • [34] A PARTIAL TRACE SEMANTICS FOR PETRI NETS
    DIEKERT, V
    THEORETICAL COMPUTER SCIENCE, 1994, 134 (01) : 87 - 105
  • [35] A Categorical Semantics for Guarded Petri Nets
    Genovese, Fabrizio
    Spivak, David I.
    GRAPH TRANSFORMATION, ICGT 2020, 2020, 12150 : 57 - 74
  • [36] Bayesian network semantics for Petri nets
    Bruni, Roberto
    Melgratti, Hernan
    Montanari, Ugo
    THEORETICAL COMPUTER SCIENCE, 2020, 807 (807) : 95 - 113
  • [37] A causal semantics for time Petri nets
    Aura, T
    Lilius, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 409 - 447
  • [38] ITL semantics of composite Petri nets
    Duan, Zhenhua
    Klaudel, Hanna
    Koutny, Maciej
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (02): : 95 - 110
  • [39] Time complexity analysis of the legal firing sequence problem of Petri nets with inhibitor arcs
    Taoka, Satoshi
    Watanabe, Toshimasa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2006, E89A (11) : 3216 - 3226
  • [40] Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs
    Chen, YuFeng
    Li, ZhiWu
    Barkaoui, Kamel
    Wu, NaiQi
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (02): : 364 - 379
12345