搜索资源列表
manet(petrinet)
- Investigation of Mobile Ad-Hoc Networks Using Petri Net Software
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
cpntools_setup
- 有色petri网理论建模工具CPNTOOLS,这是最新的版本，从官网上DOWN下来，需要取得相关资格才能下的-Colored petri net theory modeling tools CPNTOOLS, this is the latest version of the
petri-net-toolbox
- petri net toolbox in matlab.
petrinettoolbox
- petri net toolbox for matlab
tina-2.9.6-i386-mswin
- 用于构建简单petri网的图形化工具，简单易用，上手较为简单，适合初学者使用。-Used to build graphical tool for simple petri net, easy to use, to get started is relatively simple for beginners.
[Petri网原理与应用].rar
- petri网原理与应用。袁崇义版。 Principle and application of Petri net(Principle and application of Petri net)