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 条
  • [31] Translating active objects into colored Petri nets for communication analysis
    Gkolfi, Anastasia
    Din, Crystal Chang
    Johnsen, Einar Broch
    Kristensen, Lars Michael
    Steffen, Martin
    Yu, Ingrid Chieh
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 181 : 1 - 26
  • [32] AN ANALYSIS OF SIMULATION BETWEEN PETRI NETS THROUGH REWRITING LOGIC
    TAHARA, Y
    HONIDEN, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1995, E78A (11) : 1498 - 1503
  • [33] Synthesis of Petri Nets with Whole-Place Operations and Localities
    Kleijn, Jetty
    Koutny, Maciej
    Pietkiewicz-Koutny, Marta
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 103 - 120
  • [34] Petri Nets to B-Language Transformation in Software Development
    Korecko, Stefan
    Sobota, Branislav
    ACTA POLYTECHNICA HUNGARICA, 2014, 11 (06) : 187 - 206
  • [35] Properties of enhanced mobile membranes via coloured Petri nets
    Aman, Bogdan
    Ciobanu, Gabriel
    INFORMATION PROCESSING LETTERS, 2012, 112 (06) : 243 - 248
  • [36] Preserving Partial-Order Runs in Parametric Time Petri Nets
    Andre, Etienne
    Chatain, Thomas
    Rodriguez, Cesar
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16 (02)
  • [37] Relational Structures for Interval Order Semantics of Concurrent Systems
    Janicki, Ryszard
    Kleijn, Jetty
    Koutny, Maciej
    Mikulski, Lukasz
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2024, 2024, 14628 : 153 - 174
  • [38] 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
  • [39] 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
  • [40] Integrating Object Oriented Design with Petri nets - Case study with SYROCO
    Mikolajczak, B
    Sefranek, C
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIV, PROCEEDINGS: COMPUTER SCIENCE, ENGINEERING AND APPLICATIONS, 2003, : 265 - 270
12345