On Interval Process Semantics of Petri Nets with Inhibitor Arcs

被引：2
|
作者：
Alqarni, Mohammed [1 ]
Janicki, Ryszard [1 ]
机构：
[1] McMaster Univ, Dept Comp & Software, Hamilton, ON L8S 4K1, Canada
来源：
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY | 2015年 / 9115卷
关键词：
RELATIONAL STRUCTURES; CONCURRENCY; READ;
D O I：
10.1007/978-3-319-19488-2_4
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Interval order semantics of Petri nets with inhibitor arc is discussed. Both the operational semantics and process, i.e. concurrent history, semantics are defined and their mutual relationship is discussed. It is shown 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.
引用
收藏
页码：77 / 97
页数：21
相关论文
共 50 条
  • [1] Interval semantics for Petri nets with inhibitor arcs
    Alqarni, Mohammad
    Janicki, Ryszard
    THEORETICAL COMPUTER SCIENCE, 2018, 727 : 1 - 23
  • [2] On Interval Semantics of Inhibitor and Activator Nets
    Janicki, Ryszard
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019, 2019, 11522 : 192 - 212
  • [3] Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets
    Bergenthum, Robin
    Folz-Weinstein, Sabine
    Kovar, Jakub
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 286 - 306
  • [4] Modeling of Uncertainty with Petri Nets
    Kucharik, Michal
    Balogh, Zoltan
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2019, PT I, 2019, 11431 : 499 - 509
  • [5] Petri Nets for Concurrent Programming
    Rawson, Marshall
    Rawson, Michael G.
    2022 IEEE/ACM FIFTH ANNUAL WORKSHOP ON EMERGING PARALLEL AND DISTRIBUTED RUNTIME SYSTEMS AND MIDDLEWARE, IPDRM, 2022, : 17 - 24
  • [6] A conceptual approach to modeling the procurement process of construction using petri-nets
    H. Li
    P. E. D. Love
    A. Gunasekaran
    Journal of Intelligent Manufacturing, 1999, 10 : 347 - 353
  • [7] A conceptual approach to modeling the procurement process of construction using petri-nets
    Li, H
    Love, PED
    Gunasekaran, A
    JOURNAL OF INTELLIGENT MANUFACTURING, 1999, 10 (3-4) : 347 - 353
  • [8] Synthesis of Petri Nets with Localities
    Koutny, Maciej
    Pietkiewicz-Koutny, Marta
    SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2009, 19 : 1 - 23
  • [9] Partial order semantics and read arcs
    Vogler, W
    THEORETICAL COMPUTER SCIENCE, 2002, 286 (01) : 33 - 63
  • [10] Regions of Petri nets with a/sync connections
    Kleijn, Jetty
    Koutny, Maciej
    Pietkiewicz-Koutny, Marta
    THEORETICAL COMPUTER SCIENCE, 2012, 454 : 189 - 198
12345