微型电脑应用2016，Vol.32Issue(4)：78-80,3.
一种使用Petri网络模型验证协议的方法
Method of Protocol Validation by Using Petri Network Model
摘要
关键词
Petri网络模型/点火/状态变迁/可达树Key words
Petri Network model/Ignition/State Transition/Reachability Tree分类
信息技术与安全科学引用本文复制引用
蔡俊杰..一种使用Petri网络模型验证协议的方法[J].微型电脑应用,2016,32(4):78-80,3.
