- Ship_based_on_dual_CPU_design_generator_protection 基于双CPU的船舶发电机保护测控装置设计Ship based on dual CPU design generator protection and monitoring device
- RaleighFading_china jakes modle jakes modle
- report Bit Loading The amount of bits that can be carried per channel depends upon the SNR at that particular frequency
- Chat-and-play-card An simple client sever chat and you an event play game card
- MTK-development-environment mtk初次接触者必备文档
- emdinmatlab 摘要:经验模态分解方法(EMD )在非平稳信号的分析和处理中起着重要的作用
文件名称: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
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.