| 协议通信有限状态机模型和协议Petri网模型的变换 |
| |
| 引用本文： | 徐志农.协议通信有限状态机模型和协议Petri网模型的变换[J].暨南大学学报,1993,14(3):23-26. |
| |
| 作者姓名： | 徐志农 |
| |
| 作者单位： | 暨南大学计算机科学系 |
| |
| 摘 要： |
|
| 关 键 词： | 计算机网络 通信协议 Petri网 |
TRANSFORMATIONS BETWEEN PROTOCOL CFSM MODELS AND PN MODELS |
| |
| Xu Zhinong.TRANSFORMATIONS BETWEEN PROTOCOL CFSM MODELS AND PN MODELS[J].Journal of Jinan University(Natural Science & Medicine Edition),1993,14(3):23-26. |
| |
| Authors: | Xu Zhinong |
| |
| Institution: | Dept. of Computer Science |
| |
| Abstract: | It is shown in the paper that, protocol communicating finitc state machine models can always be transformed into cquivalent protocol Petri net models and vice versa. Algorithms for such transformations are presented. An illustrating example is also indicated. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
