一种基于Petri网通信协议的分析和验证

一种基于Petri网通信协议的分析和验证

王晶，樊晓桠，曹清

Analysis and validation of communication protocol based on Petri Net

WANG Jing, FAN Xiao-ya, CAO Qing

计算机应用 . 2005, (01): 165 -167 . DOI: 10.3724/SP.J.1087.2005.0165