SEQUENTIAL AND CONCURRENT BEHAVIOR IN PETRI NET THEORY

被引：157

作者：

BEST, E ^{[1
]}

DEVILLERS, R ^{[1
]}

机构：

[1] UNIV LIBRE BRUXELLES,INFORMAT THEORIQUE LAB,B-1050 BRUSSELS,BELGIUM

来源：

关键词：

All Open Access; Bronze;

D O I：

10.1016/0304-3975(87)90090-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

COMPUTER METATHEORY

引用

页码：87 / 136

页数：50

共 31 条

[1]

BEST E, 1985, LECT NOTES COMPUT SC, V197, P221

[2] A FORMAL MODEL OF ATOMICITY IN ASYNCHRONOUS SYSTEMS [J].

BEST, E ;

RANDELL, B .

[3]

BEST E, 1983, FORMAL DESCRIPTION P, V2, P431

[4]

BEST E, 1985, GMD STUDIEN, V99

[5]

BEST E, 1986, GMD195 GES MATH DAT

[6]

BEST E, 1987, P IFIP TC2 WORKING C, V3, P299

[7]

BRAUER W, 1980, LECTURE NOTES COMPUT, V84

[8]

CASTELANO LA, 1985, LECT NOTES COMPUT SC, V222, P83

[9]

CASTELLANO L, 1985, 6TH P WORKSH PETR NE

[10]

DEVILLERS R, 1985, 6TH P WORKSH PETR NE