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 条
[1]  
ANDRE C, 1981, THESIS U NICE
[2]  
AYACHE JM, 1981, SEP EUR WORKSH APPL
[3]  
AYACHE JM, 1982, DESIGN VALIDATION PE
[4]  
AYACHE JM, 1982, 3RD C DISTR COMP SYS
[5]  
AYACHE JM, 1979, MAY INT SWITCH S ISS
[6]  
AYACHE JM, 1981, SEP INT SWITCH S ISS
[7]  
AYACHE JM, 1982, UNPUB DIGITAL PROCES
[8]  
AYACHE JM, 1982, IEEE T COMPUTERS JUL
[9]  
AYACHE JM, 1979, JUN IEEE INT S FAULT
[10]  
AYACHE JM, 1981, MAY PROT TEST WORKSH