PETRI NETS THEORY FOR THE CORRECTNESS OF PROTOCOLS

被引：51

作者：

BERTHELOT, G ^{[1
]}

TERRAT, R ^{[1
]}

机构：

[1] UNIV PARIS 06,INST PROGRAMMAT,F-75230 PARIS 05,FRANCE

来源：

关键词：

D O I：

10.1109/TCOM.1982.1095452

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：2497 / 2505

页数：9

相关论文

共 21 条

[1]

BERTHELOT G, 1980, LECTURE NOTES COMPUT, V84

[2]

BERTHELOT G, 1982, 2ND P INT WORKSH PRO

[3]

BERTHELOT G, 1981, SEP AFCET C

[4]

BOCHMANN GV, 1977, 1977 P IFIP C TOR

[5]

BRAUER W, 1980, LECTURE NOTES COMPUT, V84

[6]

DANTHINE A, 1977, OCT P COMP NETW TEL, V2

[7]

DIAZ M, 1982, 2ND P INT WORKSH PRO

[8]

DIAZ M, UNPUB COMPUT NETWORK

[9]

GENRICH HJ, 1978, LECTURE NOTES COMPUT, V70

[10]

GERHART SL, 1980, 1980 P IFIP C MELB