Interval semantics for Petri nets with inhibitor arcs

被引：0

作者：

Alqarni, Mohammad ^{[1
]}

Janicki, Ryszard ^{[2
]}

机构：

[1] Univ Jeddah, Fac Comp & Informat Technol, Jeddah, Saudi Arabia

[2] McMaster Univ, Dept Comp & Software, Hamilton, ON L8S 4K1, Canada

来源：

THEORETICAL COMPUTER SCIENCE | 2018年 / 727卷

基金：

加拿大自然科学与工程研究理事会;

关键词：

Inhibitor Petri nets; Interval processes; Interval traces; Semantics; MODELING CONCURRENCY; READ;

D O I：

10.1016/j.tcs.2018.03.003

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Interval semantics of elementary Petri nets with inhibitor arcs is discussed. First an operational semantics in terms of interval orders is provided, and next the concept of interval process is introduced, discussed, and used to describe concurrent histories of such nets. It is shown that the interval process semantics is equivalent to recently proposed interval traces semantics. It is also proven 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. (C) 2018 Elsevier B.V. All rights reserved.

引用

页码：1 / 23

页数：23

共 50 条

[41] A Petri Nets Evolution Method that Supports BPMN Model Changes
Li, Zonghua
Ye, Zhengwei
SCIENTIFIC PROGRAMMING, 2021, 2021
[42] Relating Reversible Petri Nets and Reversible Event Structures, Categorically
Melgratti, Hernan
Mezzin, Claudio Antares
Pinna, G. Michele
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, 2023, 13910 : 206 - 223
[43] On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
Meyer, Roland
Gorrieri, Roberto
CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 463 - +
[44] Using transition set sequences to partition behaviors of petri nets
Wang, Yunhe
Jiao, Li
ACTA INFORMATICA, 2012, 49 (01) : 15 - 28
[45] 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
[46] Preserving Partial Order Runs in Parametric Time Petri Nets
Andre, Etienne
Chatain, Thomas
Rodriguez, Cesar
2015 15TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2015, : 120 - 129
[47] Interval Temporal Logic Semantics of Box Algebra
Klaudel, Hanna
Koutny, Maciej
Duan, Zhenhua
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 441 - 452
[48] From Petri Nets to UML model: A new transformation approach
Meziani, Lila
Bouabana-Tebibel, Thouraya
Bouzar-Benlabiod, Lydia
2018 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2018, : 503 - 510
[49] A Configurable State Class Method for Temporal Analysis of Time Petri Nets
Pan, Li
Ding, Zhi Jun
Zhou, Meng Chu
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (04): : 482 - 493
[50] Expressiveness of Petri Nets with Stopwatches. Discrete-time Part
Magnin, Morgan
Molinaro, Pierre
Roux, Olivier
FUNDAMENTA INFORMATICAE, 2009, 97 (1-2) : 139 - 176

← 1 2 3 4 5 →