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] Grading and Calculation of Synchronic Distance in Petri Nets for Trustworthy Modeling and analyzing
    Cheng, Yumeng
    Yu, Wangyang
    Zhai, Xiaojun
    Hao, Fei
    Liu, Yuan
    2023 IEEE 22ND INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS, TRUSTCOM, BIGDATASE, CSE, EUC, ISCI 2023, 2024, : 605 - 611
  • [42] Efficient verification of a class of time Petri nets using linear programming
    Li, XD
    Lilius, J
    INFORMATION PROCESSING LETTERS, 2001, 77 (5-6) : 219 - 224
  • [43] Computation of Petri nets covering by SM-components based on the graph theory
    Karatkiewicz, Andrzej
    Wisniewski, Remigiusz
    PRZEGLAD ELEKTROTECHNICZNY, 2012, 88 (08): : 141 - 144
  • [44] CONFUSION DIAGNOSIS AND CONTROL OF DISCRETE EVENT SYSTEMS USING SYNCHRONIZED PETRI NETS
    Chen, Xiao-liang
    Li, Zhi-wu
    Al-Ahmari, Abdulrahman M.
    El-Tamimi, Abdulaziz Mohammed
    Nasr, Emad S. Abouel
    ASIAN JOURNAL OF CONTROL, 2013, 15 (06) : 1736 - 1751
  • [45] Model checking multi-agent systems with logic based Petri nets
    Behrens, Tristan M.
    Dix, Juergen
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 51 (2-4) : 81 - 121
  • [46] Predicting Student Grades Based on Their Usage of LMS Moodle Using Petri Nets
    Balogh, Zoltan
    Kucharik, Michal
    APPLIED SCIENCES-BASEL, 2019, 9 (20):
  • [47] Model checking multi-agent systems with logic based Petri nets
    Tristan M. Behrens
    Jürgen Dix
    Annals of Mathematics and Artificial Intelligence, 2007, 51 : 81 - 121
  • [48] Sequential versus concurrent languages of labeled conflict-free Petri nets
    Yen, HC
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (07) : 1158 - 1162
  • [49] P/R NETS AND PROCESS CONCEPTS(Ⅰ)
    陆汝钤
    Science China Mathematics, 1992, (01) : 21 - 31
  • [50] A concurrency-preserving translation from time Petri nets to networks of timed automata
    Sandie Balaguer
    Thomas Chatain
    Stefan Haar
    Formal Methods in System Design, 2012, 40 : 330 - 355
12345