petri网验证协议

【文件属性】：

文件名称：petri网验证协议

文件大小：1.95MB

文件格式：PDF

更新时间：2015-04-30 05:35:11

petri网

对协议的形式化验证，用有色petri网对协议进行证明验证