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 条
  • [11] Small Universal Non-deterministic Petri Nets with Inhibitor Arcs
    Ivanov, Sergiu
    Pelz, Elisabeth
    Verlan, Sergey
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014, 2014, 8614 : 186 - 197
  • [12] On Petri nets semantics for π-calculus
    School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China
    不详
    Kongzhi yu Juece Control Decis, 2007, 8 (864-868):
  • [13] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 595 - 604
  • [14] Semantics of Petri nets: A comparison
    Juhas, Gabriel
    Lehocki, Fedor
    Lorenz, Robert
    PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2007, : 596 - +
  • [15] ACP SEMANTICS FOR PETRI NETS
    Simonak, Slavomir
    Tomasek, Martin
    COMPUTING AND INFORMATICS, 2018, 37 (06) : 1464 - 1484
  • [16] APC Semantics for Petri Nets
    Simonak, Slavomir
    Hudak, Stefan
    Korecko, Stefan
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2008, 32 (03): : 253 - 274
  • [17] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    INFORMATION AND COMPUTATION, 1995, 117 (01) : 98 - 114
  • [18] Loose semantics of Petri nets
    Padberg, J
    Kreowski, HJ
    FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING: ESSAYS DEDICATED TO HARTMUT EHRIG ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 3393 : 370 - 384
  • [19] Verification of Petri Nets with Read Arcs
    Rodriguez, Cesar
    Schwoon, Stefan
    CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 471 - 485
  • [20] On petri nets with hierarchical special arcs
    2017, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (85):
12345