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] Analyzing Services Composition Using Petri Nets
    Xu, Jiajun
    Yao, Shuzhen
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON SOFT COMPUTING TECHNIQUES AND ENGINEERING APPLICATION, ICSCTEA 2013, 2014, 250 : 443 - 450
  • [32] Acyclic and Cyclic Reversing Computations in Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    FUNDAMENTA INFORMATICAE, 2021, 184 (04) : 273 - 296
  • [33] Whole-grain Petri Nets and Processes
    Kock, Joachim
    JOURNAL OF THE ACM, 2023, 70 (01)
  • [34] Verification of Scenarios in Petri Nets Using Compact Tokenflows
    Bergenthum, Robin
    Lorenz, Robert
    FUNDAMENTA INFORMATICAE, 2015, 137 (01) : 117 - 142
  • [35] Encoding Asynchronous Interactions Using Open Petri Nets
    Baldan, Paolo
    Bonchi, Filippo
    Gadducci, Fabio
    CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 99 - +
  • [36] Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
    Chatain, Thomas
    Fabre, Eric
    APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 165 - +
  • [37] A Petri Nets based functional validation for services composition
    Yoo, Taejong
    Jeong, Buhwan
    Cho, Hyunbo
    EXPERT SYSTEMS WITH APPLICATIONS, 2010, 37 (05) : 3768 - 3776
  • [38] Modelling mobility in high-level Petri nets
    Devillers, Raymond
    Klaudel, Hanna
    Koutny, Maciej
    SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 110 - +
  • [39] Encoding Synchronous Interactions Using Labelled Petri Nets
    Baldan, Paolo
    Bonchi, Filippo
    Gadducci, Fabio
    Monreale, Giacoma V.
    COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, 2014, 8459 : 1 - 16
  • [40] Operational Semantics, Interval Orders and Sequences of Antichains
    Janicki, Ryszard
    Koutny, Maciej
    FUNDAMENTA INFORMATICAE, 2019, 169 (1-2) : 31 - 55
12345