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
BEST, E
RANDELL, B
[J]. ACTA INFORMATICA, 1981, 16 (01) : 93 - 124
[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