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 条
  • [21] ACP SEMANTICS FOR PETRI NETS
    Simonak, Slavomir
    Tomasek, Martin
    COMPUTING AND INFORMATICS, 2018, 37 (06) : 1464 - 1484
  • [22] APC Semantics for Petri Nets
    Simonak, Slavomir
    Hudak, Stefan
    Korecko, Stefan
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2008, 32 (03): : 253 - 274
  • [23] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    INFORMATION AND COMPUTATION, 1995, 117 (01) : 98 - 114
  • [24] Loose semantics of Petri nets
    Padberg, J
    Kreowski, HJ
    FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING: ESSAYS DEDICATED TO HARTMUT EHRIG ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 3393 : 370 - 384
  • [25] Verification of Petri Nets with Read Arcs
    Rodriguez, Cesar
    Schwoon, Stefan
    CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 471 - 485
  • [26] On petri nets with hierarchical special arcs
    2017, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (85):
  • [27] MAPPING PETRI NETS WITH INHIBITOR ARCS ONTO BASIC LOTOS BEHAVIOR EXPRESSIONS
    SISTO, R
    VALENZANO, A
    IEEE TRANSACTIONS ON COMPUTERS, 1995, 44 (12) : 1361 - 1370
  • [28] SEMANTICS OF INHIBITOR NETS
    JANICKI, R
    KOUTNY, M
    INFORMATION AND COMPUTATION, 1995, 123 (01) : 1 - 16
  • [29] Causal semantics for Petri nets with contacts
    Lomazova, IA
    PROGRAMMING AND COMPUTER SOFTWARE, 1999, 25 (04) : 214 - 221
  • [30] 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
12345