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 条
  • [41] Comparative trace semantics of time Petri nets
    Bushin, D. I.
    Virbitskaite, I. B.
    PROGRAMMING AND COMPUTER SOFTWARE, 2015, 41 (03) : 131 - 139
  • [42] Comparison of different semantics for Time Petri Nets
    Bérard, B
    Cassez, F
    Haddad, S
    Lime, D
    Roux, OH
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 293 - 307
  • [43] Interval analysis of time Petri nets
    Lima, Evangivaldo A.
    Luders, Ricardo
    Kunzle, Luis Allan
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 51 - 58
  • [44] An event structure semantics for general Petri nets
    Hoogers, PW
    Kleijn, HCM
    Thiagarajan, PS
    THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 129 - 170
  • [45] On Causal Semantics of Petri Nets (Extended Abstract)
    van Glabbeek, Rob J.
    Goltz, Ursula
    Schicke, Jens-Wolfhard
    CONCUR 2011: CONCURRENCY THEORY, 2011, 6901 : 43 - +
  • [46] Comparative trace semantics of time Petri nets
    D. I. Bushin
    I. B. Virbitskaite
    Programming and Computer Software, 2015, 41 : 131 - 139
  • [47] DATA-FLOW SEMANTICS FOR PETRI NETS
    GOLD, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 : 275 - 283
  • [48] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS
    VOGLER, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 542 - 551
  • [49] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS
    VOGLER, W
    ACTA INFORMATICA, 1989, 26 (04) : 333 - 348
  • [50] Reactive Semantics for Component Based Petri Nets
    Hammal, Youcef
    2012 2ND IEEE INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND GRID COMPUTING (PDGC), 2012, : 795 - 805
12345