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

共 49 条

[1]

ABRAHAM U, 1990, WORK COMP, P311

[2]

Agerwala Tilak, 1973, P 1 ANN S COMP ARCH, P81, DOI [DOI 10.1145/800123.803973, 10.1145]

[3] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].

ALLEN, JF .

COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843

[4] On Interval Process Semantics of Petri Nets with Inhibitor Arcs [J].

Alqarni, Mohammed ;

Janicki, Ryszard .

APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 :77-97

[5]

[Anonymous], 1985, Interval Orders and Interval Graphs: A Study of Partially Ordered Sets

[6] Domain and event structure semantics for Petri nets with read and inhibitor arcs [J].

Baldan, P ;

Busi, N ;

Corradini, A ;

Pinna, GM .

THEORETICAL COMPUTER SCIENCE, 2004, 323 (1-3) :129-189

[7] SEQUENTIAL AND CONCURRENT BEHAVIOR IN PETRI NET THEORY [J].

BEST, E ;

DEVILLERS, R .

THEORETICAL COMPUTER SCIENCE, 1987, 55 (01) :87-136

[8]

Busi N., 1999, Fundamenta Informaticae, V40, P165

[9]

CHIOLA G, 1991, P 12 INT C APPL THEO, P182

[10]

Desel J., 1998, LECT NOTES COMPUT SC, V1492, P122

← 1 2 3 4 5 →