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] Weakly strong semantics of Time Petri Nets for performance evaluations
    Komenda, Jan
    Lahaye, Sebastien
    Parrot, Remi
    Roux, Olivier H.
    IFAC PAPERSONLINE, 2024, 58 (01): : 66 - 71
  • [12] Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets
    Mahulea, Cristian
    Recalde, Laura
    Silva, Manuel
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2009, 19 (02): : 189 - 212
  • [13] An interleaving semantics for UML 2 interactions using Petri nets
    Bouabana-Tebibel, Thouraya
    Rubin, Stuart H.
    INFORMATION SCIENCES, 2013, 232 : 276 - 293
  • [14] Modelling the semantics of multitasking facilities in Concurrent C using Petri nets
    Boujarwah, A
    AlSeif, N
    Saleh, K
    INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (01) : 3 - 9
  • [15] On Distributability of Petri Nets
    van Glabbeek, Rob
    Goltz, Ursula
    Schicke-Uffmann, Jens-Wolfhard
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 331 - 345
  • [16] Statechartable Petri nets
    Eshuis, Rik
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (05) : 659 - 681
  • [17] Clustering for Petri nets
    Keller, W
    THEORETICAL COMPUTER SCIENCE, 2003, 308 (1-3) : 145 - 197
  • [18] Lending Petri nets
    Bartoletti, Massimo
    Cimoli, Tiziana
    Pinna, G. Michele
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 112 : 75 - 101
  • [19] Petri Nets and Programming: A Survey
    Iordache, Marian V.
    Antsaklis, Panos J.
    2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 4994 - +
  • [20] Executability of scenarios in Petri nets
    Lorenz, Robert
    Juhas, Gabriel
    Bergenthum, Robin
    Desel, Joerg
    Mauser, Sebastian
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (12-13) : 1190 - 1216
12345