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

共 28 条

[1]

ABRAHAM U, 1990, WORK COMP, P311

[2]

AGERWALA T, 1973, COMPUTER ARCHITECTUR, V4, P81

[3]

[Anonymous], 1985, Interval orders and interval graphs: a study of partially ordered sets

[4] 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

[5]

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

[6]

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

[7] INTRANSITIVE INDIFFERENCE WITH UNEQUAL INDIFFERENCE INTERVALS [J].

FISHBURN, PC .

JOURNAL OF MATHEMATICAL PSYCHOLOGY, 1970, 7 (01) :144-149

[8]

Gaifman H., LOGIC COMPUTER SCI, P72

[9] THE NON-SEQUENTIAL BEHAVIOR OF PETRI NETS [J].

GOLTZ, U ;

REISIG, W .

INFORMATION AND CONTROL, 1983, 57 (2-3) :125-147

[10]

JANICKI R, 1991, LECT NOTES COMPUT SC, V506, P59

← 1 2 3 →