SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS

被引：270

作者：

GENRICH, HJ

LAUTENBACH, K

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(81)90113-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：109 / 136

页数：28

相关论文

共 28 条

[1]

Anatol H., 1970, PROJECT MAC C CONCUR, P3

[2]

BRAUER W, 1980, NET THEORY APPLICATI

[3]

ELLIS CA, 1977, ACM OPERATING SYSTEM, V11

[4]

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

[5]

GENRICH HJ, 1980, NET THEORY APPLICATI

[6]

GENRICH HJ, 1978, MATH F COMPUTER SCI

[7]

GENRICH HJ, 1976, MATH F COMPUTER SCI

[8]

Herstein I. N., 1975, TOPICS ALGEBRA

[9]

HOLT AW, 1968, AD676972 NTIS

[10]

JENSEN K, 1979, PB104 DAIMI AARH U T