搜索资源列表
CPNtools-2.0.0
- Petri Nets Simulator
olsr
- 用CPNTools对CA-OLSR协议建模及分析，用的是ML语言，用以证明协议的正确性-CA-OLSR with CPNTools agreement on the modeling and analysis, using the ML language, to prove the correctness of the agreement
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 accessibilit
help
- CPNTools工具的使用手册（HTML版）-CPNTools tools manual (HTML version)
cpntools_setup
- 有色petri网理论建模工具CPNTOOLS,这是最新的版本，从官网上DOWN下来，需要取得相关资格才能下的-Colored petri net theory modeling tools CPNTOOLS, this is the latest version of the
CPN_execise
- 利用CPNTOOLS对停等协议进行的建模分析及验证，并已生成可达图，相关资料可参考已上传的“InfoForCPNtools).rar”-Stop using CPNTOOLS such agreement on Modeling analysis and verification, and has generated up to map the relevant information, reference has been uploaded " InfoForCPNtools). Ra
CPN_execise
- 利用CPNTOOLS对停等协议进行的建模分析及验证，并已生成可达图，相关资料可参考已上传的“InfoForCPNtools).rar”-Stop using CPNTOOLS such agreement on Modeling analysis and verification, and has generated up to map the relevant information, reference has been uploaded " InfoForCPNtools). Ra