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 条
  • [1] Interval semantics for Petri nets with inhibitor arcs
    Alqarni, Mohammad
    Janicki, Ryszard
    THEORETICAL COMPUTER SCIENCE, 2018, 727 : 1 - 23
  • [2] Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs
    Busi, Nadia
    Gorrieri, Roberto
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (03): : 138 - 162
  • [3] Domain and event structure semantics for Petri nets with read and inhibitor arcs
    Baldan, P
    Busi, N
    Corradini, A
    Pinna, GM
    THEORETICAL COMPUTER SCIENCE, 2004, 323 (1-3) : 129 - 189
  • [4] Process semantics of P/T-nets with inhibitor arcs
    Kleijn, J
    Koutny, M
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 261 - 281
  • [5] Reachability in Petri Nets with Inhibitor Arcs
    Reinhardt, Klaus
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 : 239 - 264
  • [6] INVARIANT SEMANTICS OF NETS WITH INHIBITOR ARCS
    JANICKI, R
    KOUTNY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 317 - 331
  • [7] Analysis issues in Petri nets with inhibitor arcs
    Busi, N
    THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 127 - 177
  • [8] Complete Process Semantics of Petri Nets
    Juhas, Gabriel
    Lorenz, Robert
    Mauser, Sebastian
    FUNDAMENTA INFORMATICAE, 2008, 87 (3-4) : 331 - 365
  • [9] On Interval Semantics of Inhibitor and Activator Nets
    Janicki, Ryszard
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019, 2019, 11522 : 192 - 212
  • [10] Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs
    Padberg, Julia
    GRAPH TRANSFORMATION (ICGT 2015), 2015, 9151 : 104 - 120
12345