文件名称:Petri
-
所属分类：
- 标签属性：
- 上传时间：2012-11-16
-
文件大小：17.8kb
-
已下载：1次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
基于有色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
Petri/test1.cpn
Petri/total.cpn
Petri/mc-mac/state space report
Petri/mc-mac
Petri/output/logfiles
Petri/output
Petri/cpntools.dump
Petri/mc-mac.cpn
Petri
Petri/test1.cpn
Petri/total.cpn
Petri/mc-mac/state space report
Petri/mc-mac
Petri/output/logfiles
Petri/output
Petri/cpntools.dump
Petri/mc-mac.cpn
Petri
1999-2046 搜珍网 All Rights Reserved.
本站作为网络服务提供者，仅为网络服务对象提供信息存储空间，仅对用户上载内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。