BEHAVIORAL NOTIONS FOR ELEMENTARY NET SYSTEMS

被引：35

作者：

NIELSEN, M

ROZENBERG, G

THIAGARAJAN, PS

机构：

[1] LEIDEN STATE UNIV, DEPT MATH, 2312 AV LEIDEN, NETHERLANDS

[2] SPIC SCI FDN, SCH MATH, MADRAS 600017, INDIA

来源：

DISTRIBUTED COMPUTING | 1990年 / 4卷 / 01期

关键词：

Event structures; Net theory; Non-sequential processes; Trace languages;

D O I：

10.1007/BF01783665

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We study the relationships between a number of behavioural notions that have arisen in the theory of distributed computing. In order to sharpen the under-standing of these relationships we apply the chosen behavioural notions to a basic net-theoretic model of distributed systems called elementary net systems. The behavioural notions that are considered here are trace languages, non-sequential processes, unfoldings and event structures. The relationships between these notions are brought out in the process of establishing that for each elementary net system, the trace language representation of its behaviour agrees in a strong way with the event structure representation of its behaviour. © 1990 Springer-Verlag.

引用

页码：45 / 57

页数：13

共 20 条

[1]

AALBERSBERG IJ, 1986, 8616 U LEID I APPL M

[2]

BEDNARCZYK M, 1988, THESIS U SUSSEX BRIG

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

BEST, E ;

DEVILLERS, R .

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

[4]

Best Eike, 1988, EATCS MONOGRAPHS THE, V13

[5]

BRAUER W, 1987, LECT NOTES COMPUT SC, V255

[6]

BRAUER W, 1987, LECT NOTES COMPUT SC, V254

[7]

KIEHN A, 1988, J INF PROCESS CYBERN, V2, P3

[8]

MacLane S., 1971, CATEGORIES WORKING M

[9]

MAZURKIEWICZ A, 1978, PB78

[10]

Mazurkiewicz A. W., 1988, LECT NOTES COMPUT SC, V354, P285, DOI DOI 10.1007/BFB0013025

← 1 2 →