搜索资源列表
PIPE
- Petri网分析工具PIPE is open-source
Petri
- 模拟一个Petri网的行为:该程序应该读入一组转换规则,以及一组状态列表,这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始,随机地选取那些激活的转换,并激发这些转换,检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。
ex641
- petri网使用工具,PERTRI教学使用,清晰明了。是学习PETRI网的很好工具。
ex641-1
- 一个PETRI网的很好工具。我在教学中多次使用,效果很好(有密码可供使用)。
petri
- 本人开发的离散事件仿真程序,采用petri网模型,vc++设计的界面和程序。
WinTTPN.rar
- petri网模拟工具 winttpn 很好的工具,petri winttpn
StpnPlay_V0_852_src
- 一个随机Petri网的C++例子,GUI可看界面-a STPN example with C++ code,GUIinterface
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
SB_PetriNetsWithWeights
- 基于petri网进行服务行为验证算法,首先生成数据,然后进行服务行为的验证,最下面可以清空数据。-Service behavior based on petri nets to verify the algorithm, first of all generated data, then the verification service behavior, at the bottom to empty the data.
Petri-nets-based-on-TOC-and-Business-Process-Reeng
- 基于TOC和Petri网的业务流程重组方法Petri nets based on TOC and Business Process Reengineering-Petri nets based on TOC and Business Process Reengineering
Coneling
- 状态监测与故障诊断的Petri网建模Condition monitoring and fault diagnosis Petri net modeling-Condition monitoring and fault diagnosis Petri net modeling
Petri-Nets
- Petri网是对离散并行系统的数学表示。Petri网是1960年代由卡尔·A·佩特里发明的,适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式,也有直观的图形表达方式。-The main users of Petri nets are computer and automatic control scientists. However, this tool is sufficiently general to model phenomena of extremely
Petri
- 关于Petri网非常好的资料,我自己用的非常Ok,适合入门者看哦!-About Petri nets very good material, I own very Ok, suitable for introduction person see oh!
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.
PIPEv4
- Petri网画图仿真软件,适合基本,随机和着色Petri网。开源-Petri nets drawing simulation software, for basic, random and colored Petri nets. Open source
Audit
- petri网建模,运用C++编程,便于更好实现模型仿真优化。(Petri nets modeling, using C++ programming, to facilitate better implementation of model simulation optimization.)
tina-3.4.4-x64-mswin
- Tina是一款对时间Petri网支持得比较好的软件,也是我用得较多的一款软件。 它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw),适用于Windows和Linux操作系统,也就是说他的移植性很好。 Tina的操作也比较特别,很多操作需要借助键盘按键来完成,如:Ctrl + g用来切换软件背景网格线的有无;鼠标中键用来添加库所;Ctrl +鼠标中键用来添加变迁;用鼠标中键在库所与变迁间拖拽可以添加弧。(Tina is a good support for time Petri
[Petri网原理与应用].rar
- petri网原理与应用。袁崇义版。 Principle and application of Petri net(Principle and application of Petri net)