MODELING AND ANALYSIS OF COMMUNICATION AND COOPERATION PROTOCOLS USING PETRI NET BASED MODELS

被引：48

作者：

DIAZ, M

机构：

来源：

COMPUTER NETWORKS AND ISDN SYSTEMS | 1982年 / 6卷 / 06期

关键词：

D O I：

10.1016/0376-5075(82)90112-X

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：419 / 441

页数：23

共 111 条

[31]

DANTHINE A, 1977, OCT COMNET S BUD

[32] PROTOCOL REPRESENTATION WITH FINITE-STATE MODELS [J].

DANTHINE, AAS .

[33]

DEVY M, 1979, 1ST INT C DISTR COMP

[34]

DIAZ M, 1982, 2ND INT WORKSH PROT

[35]

DIAZ M, 1982, 3RD WORKSH THEOR APP

[36]

ECKERT H, 1981, 2ND EUR WORKSH APPL, P181

[37]

FELDBRUGGE FHJ, 1978, 2578 PHIL RES LAB NA

[38]

FLORIN G, 1981, 2ND EUR WORKSH APPL, P245

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

GENRICH, HJ ;

LAUTENBACH, K .

[40]

GENRICH HJ, 1979, LECT NOTES COMPUTER, V70, P123, DOI DOI 10.1007/BFB0022459