搜索资源列表
petri网软件工具2
- petri网图形分析工具
Petri
- Petri网绘制图形、仿真、计算工具。可用于进行结构分析和性能分析。-Petri nets drawing graphics, simulation, calculation tool. Can be used for structural analysis and performance analysis.
petri
- petri网的一些相关简单入门文章汇总，希望有帮助-petri nets some simple entry-article summary, I hope there is help
petri
- 关于有色petri网的应用文章，主要是国外学者的研究成果。-With regard to the application of colored petri net articles, mainly foreign scholars research results.
petri
- 可以简单计算petri网的状态空间,用来分析petri网的特性-Simple calculation can petri net state-space, used to analyze the characteristics of petri nets
Petri
- 模拟一个Petri网的行为:该程序应该读入一组转换规则，以及一组状态列表，这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始，随机地选取那些激活的转换，并激发这些转换，检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。-Simulation of the behavior of a Petri net: the program shoul
petri
- 本人开发的离散事件仿真程序，采用petri网模型，vc++设计的界面和程序。-I developed discrete event simulation program, using petri net models, vc++ Interface design and procedures.
petri
- Petri网教程以及Opnet仿真工具教程以及核心函数详细介绍-Petri nets as well as the Opnet simulation tool tutorial tutorials, as well as details of the core function
Petri
- 介绍petri的ppt,内容详细充实，希望能帮助大家啊-Introduction petri' s ppt, and detailed full, hope to help you ah
javafr_MODELISATION-GRAPHIQUE-RESEAUX-PETRI-GENER
- this programme java thinks u open sourc e lanagage jav a is all grafike of reseuax petri -this is programme java thinks u open sourc e lanagage jav a is all grafike of reseuax petri
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, receivin
petri-net-toolbox
- learning about Petri net toolbox
Petri
- 基于Petri网的可编程控制器程序自动设计的研究-Petri net based programmable logic controller automatic design of program
petri
- 这几篇文章介绍了佩特利网(Petri网)和Stateflow 的基本概念，给出Petri网在MaⅡab环境下的仿真方法．混合Petri网模型为例进行说明， 结合仿真结果对Peri网的性能进行了初步分析。-This articles describes Pei Teli net (Petri net) and Stateflow basic concepts of Petri nets is given in Ma Ⅱ ab enviro
Petri-net
- 描述Petri Net仿真工具集体实现文档-Petri Net simulation tool described in the collective realization of the document
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
Theory-and-Development-of-Petri-Net
- 一本介绍Petri网的定义、基本性质和分析方法的书，由袁崇义编写。-One introduces the definition of Petri nets, basic properties and methods of analysis of the book, written by the Yuan Chongyi.
petri-net-matlab-simulate
- 本文介绍了在matlab环境下进行Petri网模型仿真的方法-This article describes the environment in matlab Petri net model for the simulation method
Petri-nets---java
- Petri net simulator in Java. There are number of examples and source codes in this simulator
袁崇义petri网的原理与应用
- 国内权威、北大袁崇义教授的petri网书籍，形式化展现系统架构(Petri net books authoritatively developed by Prof. Yuan Chongyi of Peking University to formally display the system architecture)