COLORED PETRI NETS AND THE INVARIANT-METHOD

被引：266

作者：

JENSEN, K

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(81)90049-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：317 / 336

页数：20

共 9 条

[1]

Genrich H. J., 1979, Semantics of Concurrent Computations, P123, DOI 10.1007/BFb0022467

[2] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS [J].

GENRICH, HJ ;

LAUTENBACH, K .

[3]

JENSEN K, 1980, PB120 DAIMI AARH U

[4]

JENSEN K, 1980, MATH F COMPUTER SCI, P348

[5]

LAUTENBACH K, 1979, ISF75021 GMD INT BER

[6] PETRI NETS [J].

PETERSON, JL .

[7]

PETRI CA, 1975, ISF7507 GMD INT BER

[8]

PETRI CA, 1973, 1973 P S SUMM SCH HI, P137

[9]

Schiffers M., 1978, Mathematical Foundations of Computer Science 1978, P462