搜索资源列表
petri
- petri网的一些相关简单入门文章汇总，希望有帮助
petri
- 关于有色petri网的应用文章，主要是国外学者的研究成果。
petri
- 可以简单计算petri网的状态空间,用来分析petri网的特性
Petri
- 模拟一个Petri网的行为:该程序应该读入一组转换规则，以及一组状态列表，这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始，随机地选取那些激活的转换，并激发这些转换，检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。
着色petri网
- 压缩包中包含9篇着色petri网在国内外重要刊物上发表的文章，结合起来可以作为学习着色petri网的一个完整的资料。
Petri_Nets
- 一部介绍petri网模型的好书。 petri网理论提出自20世纪60年代，有严谨的数学基础，广泛的应用于工作流建模等领域。-a Petri net model on the books. Petri net theory since the 1960s, a strict mathematical basis, widely used for work flow modeling, and other fields.
An_Introduction_To_Petri_Nets
- 正如文件名，一篇介绍petri网的文章,pdf格式。队petri Net 理论作了深入浅出的讲解-as the file name on a petri nets article pdf format. Team Petri Net theory was simple to explain
petri_net
- 模拟一个petri网的行为。该程序应该读入一组转换规则，以及一组状态列表，这些状态对应于网络链路层发出了一个新分组或者接受一个新分组，初始状态也是要读入的。该程序应该从初始状态开始，随机地选择那些激活的转换，并激发这些状态，检查一下看是否有“一个主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。-simulated a petri nets behavior. The procedure should be read
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
ex641
- petri网使用工具，PERTRI教学使用，清晰明了。是学习PETRI网的很好工具。-petri net tools, PERTRI teaching use, clarity. PETRI net is a good learning tool.
ex641-1
- 一个PETRI网的很好工具。我在教学中多次使用，效果很好（有密码可供使用）。-PETRI net a very good tool. I have repeatedly used in teaching, very good (have the password available).
petri
- 本人开发的离散事件仿真程序，采用petri网模型，vc++设计的界面和程序。-I developed discrete event simulation program, using petri net models, vc++ Interface design and procedures.
workflow-role
- 基于角色的工作流建模研究 从角色及其交互角度出发,考察了现有的 基于角色的工作流过程建模方法,提出了一种基于Petri 网的工作流角色建模方法。利用这种建模方法,可以清楚的描述出角色 的外部接口,突出角色之间的协作关系,Petri 网的形式化语义方便进行模型的验证和分析-Research on Role-Based Workflow Modeling Abstract: The traditional process-b
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
- 基于Petri网的可编程控制器程序自动设计的研究-Petri net based programmable logic controller automatic design of program
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网的原理与应用
- 国内权威、北大袁崇义教授的petri网书籍，形式化展现系统架构(Petri net books authoritatively developed by Prof. Yuan Chongyi of Peking University to formally display the system architecture)