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] Existence of home states in Petri nets is decidable
    Best, Eike
    Esparza, Javier
    INFORMATION PROCESSING LETTERS, 2016, 116 (06) : 423 - 427
  • [22] Construction of Petri nets from a given partial language
    Hashizume, S
    Mitsuyama, Y
    Matsutani, Y
    Onogi, K
    Nishimura, Y
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (12) : 2192 - 2195
  • [23] A class of generalized Petri nets and its state equation
    Zhu, Rongming
    Zhang, Ya
    Yang, Lan
    ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (08) : 1 - 17
  • [24] Maximally permissive controllers for controlled time Petri nets
    Takae, A
    Takai, S
    Ushio, T
    Kumagai, S
    Kodama, S
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1996, 79 (05): : 1 - 8
  • [25] Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
    Chatain, Thomas
    Fabre, Eric
    APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 165 - +
  • [26] Process languages and nets
    Czaja, L
    THEORETICAL COMPUTER SCIENCE, 2000, 238 (1-2) : 161 - 181
  • [27] Operational Semantics, Interval Orders and Sequences of Antichains
    Janicki, Ryszard
    Koutny, Maciej
    FUNDAMENTA INFORMATICAE, 2019, 169 (1-2) : 31 - 55
  • [28] THE COMPLEXITY OF PROBLEMS INVOLVING STRUCTURALLY BOUNDED AND CONSERVATIVE PETRI NETS
    HOWELL, RR
    INFORMATION PROCESSING LETTERS, 1991, 39 (06) : 309 - 315
  • [29] REMARKS ON THE EQUIVALENCE OF C-E STRUCTURES AND PETRI NETS
    RACZUNAS, M
    INFORMATION PROCESSING LETTERS, 1993, 45 (04) : 165 - 169
  • [30] A Concurrent Multiple Negotiation Protocol Based on Colored Petri Nets
    Niu, Lei
    Ren, Fenghui
    Zhang, Minjie
    Bai, Quan
    IEEE TRANSACTIONS ON CYBERNETICS, 2017, 47 (11) : 3692 - 3705
12345