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 条
  • [41] Analysis of Petri nets with batch processing arcs
    Ohta, A
    Kato, C
    Tsuji, K
    SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2004, : 517 - 520
  • [42] Synthesis of nets with inhibitor arcs
    Busi, N
    Pinna, GM
    CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 151 - 165
  • [43] Assigning ontology-based semantics to process models:The case of Petri Nets
    Soffer, Pnina
    Kaner, Maya
    Wand, Yair
    ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2008, 5074 : 16 - +
  • [44] Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation
    Roux, OH
    Lime, D
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 371 - 390
  • [45] Maximally Permissive Robustness Control of Automated Manufacturing Systems Using Petri Nets and Inhibitor Arcs
    Yang, Benyuan
    Wang, Haitian
    Luo, Lili
    Du, Nan
    39TH YOUTH ACADEMIC ANNUAL CONFERENCE OF CHINESE ASSOCIATION OF AUTOMATION, YAC 2024, 2024, : 1751 - 1756
  • [46] Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs
    Baldan, P.
    Corradini, A.
    Montanari, U.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (02) : 5 - 28
  • [47] Comparative trace semantics of time Petri nets
    Bushin, D. I.
    Virbitskaite, I. B.
    PROGRAMMING AND COMPUTER SOFTWARE, 2015, 41 (03) : 131 - 139
  • [48] 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
  • [49] 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
  • [50] An event structure semantics for general Petri nets
    Hoogers, PW
    Kleijn, HCM
    Thiagarajan, PS
    THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 129 - 170
12345