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 条
  • [31] Bayesian network semantics for Petri nets
    Bruni, Roberto
    Melgratti, Hernan
    Montanari, Ugo
    THEORETICAL COMPUTER SCIENCE, 2020, 807 (807) : 95 - 113
  • [32] A causal semantics for time Petri nets
    Aura, T
    Lilius, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 409 - 447
  • [33] ITL semantics of composite Petri nets
    Duan, Zhenhua
    Klaudel, Hanna
    Koutny, Maciej
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (02): : 95 - 110
  • [34] 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
  • [35] 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
  • [36] Analysis of Petri nets with batch processing arcs
    Ohta, A
    Kato, C
    Tsuji, K
    SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2004, : 517 - 520
  • [37] Synthesis of nets with inhibitor arcs
    Busi, N
    Pinna, GM
    CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 151 - 165
  • [38] Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation
    Roux, OH
    Lime, D
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 371 - 390
  • [39] Maximally Permissive Robustness Control of Automated Manufacturing Systems Using Petri Nets and Inhibitor Arcs
    Yang, Benyuan
    Wang, Haitian
    Luo, Lili
    Du, Nan
    39TH YOUTH ACADEMIC ANNUAL CONFERENCE OF CHINESE ASSOCIATION OF AUTOMATION, YAC 2024, 2024, : 1751 - 1756
  • [40] Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs
    Baldan, P.
    Corradini, A.
    Montanari, U.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (02) : 5 - 28
12345