Interval semantics for Petri nets with inhibitor arcs

被引：0
|
作者：
Alqarni, Mohammad [1 ]
Janicki, Ryszard [2 ]
机构：
[1] Univ Jeddah, Fac Comp & Informat Technol, Jeddah, Saudi Arabia
[2] McMaster Univ, Dept Comp & Software, Hamilton, ON L8S 4K1, Canada
来源：
THEORETICAL COMPUTER SCIENCE | 2018年 / 727卷
基金：
加拿大自然科学与工程研究理事会;
关键词：
Inhibitor Petri nets; Interval processes; Interval traces; Semantics; MODELING CONCURRENCY; READ;
D O I：
10.1016/j.tcs.2018.03.003
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Interval semantics of elementary Petri nets with inhibitor arcs is discussed. First an operational semantics in terms of interval orders is provided, and next the concept of interval process is introduced, discussed, and used to describe concurrent histories of such nets. It is shown that the interval process semantics is equivalent to recently proposed interval traces semantics. It is also proven 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. (C) 2018 Elsevier B.V. All rights reserved.
引用
收藏
页码：1 / 23
页数：23
相关论文
共 50 条
  • [1] On Interval Process Semantics of Petri Nets with Inhibitor Arcs
    Alqarni, Mohammed
    Janicki, Ryszard
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 77 - 97
  • [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] Reachability in Petri Nets with Inhibitor Arcs
    Reinhardt, Klaus
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 : 239 - 264
  • [5] INVARIANT SEMANTICS OF NETS WITH INHIBITOR ARCS
    JANICKI, R
    KOUTNY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 317 - 331
  • [6] Analysis issues in Petri nets with inhibitor arcs
    Busi, N
    THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 127 - 177
  • [7] 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
  • [8] Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs
    Padberg, Julia
    GRAPH TRANSFORMATION (ICGT 2015), 2015, 9151 : 104 - 120
  • [9] 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
  • [10] ON THE SEMANTICS OF PETRI NETS
    MESEGUER, J
    MONTANARI, U
    SASSONE, V
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 286 - 301
12345