文件名称:Petri
介绍说明--下载内容均来自于网络,请自行研究使用
基于有色petri网的建模。用CPNTools对MC-MAC协议建模,分了三个部分:总体,发送节点,接受节点模型。并对可达性进行了分析,验证协议的正确性。-Based on colored petri net modeling. With CPNTools on the MC-MAC protocol model, divided into three parts: the general, sending node, receiving node model. And accessibility are analyzed to verify the correctness of the agreement.
相关搜索: Petri
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Petri\复件 olsr.cpn
.....\test1.cpn
.....\total.cpn
.....\mc-mac\state space report
.....\mc-mac
.....\output\logfiles
.....\output
.....\cpntools.dump
.....\mc-mac.cpn
Petri
.....\test1.cpn
.....\total.cpn
.....\mc-mac\state space report
.....\mc-mac
.....\output\logfiles
.....\output
.....\cpntools.dump
.....\mc-mac.cpn
Petri