搜索资源列表
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
- petri网的一些相关简单入门文章汇总，希望有帮助
petri
- 关于有色petri网的应用文章，主要是国外学者的研究成果。
petri网教程
- petri网ppt，教学课件
着色petri网
- 压缩包中包含9篇着色petri网在国内外重要刊物上发表的文章，结合起来可以作为学习着色petri网的一个完整的资料。
t
- 使用Petri网对实时协作系统进行建模和分析
Petrinet
- 电子支付安全协议的Petri网模型及分析-Electronic payment security protocols and analysis of Petri net model
workflow-role
- 基于角色的工作流建模研究 从角色及其交互角度出发,考察了现有的 基于角色的工作流过程建模方法,提出了一种基于Petri 网的工作流角色建模方法。利用这种建模方法,可以清楚的描述出角色 的外部接口,突出角色之间的协作关系,Petri 网的形式化语义方便进行模型的验证和分析-Research on Role-Based Workflow Modeling Abstract: The traditional process-based workflow modeling ignores
431
- 工作流系统模型的性能等价分析 讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解.-Workflow Performance Equivalent point
wf
- 六个基本实体：工作流定义、活动、转换条件、工作流相关数据、角色、应用程序，几个实体加上管理部分基本可以实现接口，这里的活动就是库所，转换条件对应的是条件和变迁，可贵的是文档里介绍了表结构，对状态、类型等也作了枚举，简单介绍了Petri网结构，最重要的是介绍了基于关系型数据库的建模，介绍了几个条件路由，后面就是流程运转的核心部分，也是有限状态机实现-Six basic entities: the workflow definition, activity, conversion condition
systemdesign
- 应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽 象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了 建模与分析。-Application of π calculus, combined with Petri nets in object-oriented Petri nets and time Petri nets, embedded system software ar
Petrielest
- 基于时间Petri网的并行测试任务调度Petri nets based on time scheduling parallel test-Petri nets based on time scheduling parallel test
Petri-Net_1
- 关于基本Petri网的研究，和基础知识的讲解。-Petri learning PPT
Petri-Net_2
- 基本Petri网的知识与研究，适用于研究生的学生学习。-Petri Learning PPT
Petri-Net_3
- 基础Petri网的研究，关于Petri Net的验证与模型的检测。-Petri Net Learning PPT
Application-of-Petri-Nets
- Petri网在制造系统建模与仿真中的应用-Petri nets in the modeling and simulation of manufacturing systems
A-study--for-Petri-net
- petri网的仿真语言的设计与研究的相关应用-petri nets simulation language design and research applications
PETRI
- 软件工程形式化管理方法petri网相关知识，可以学习用-Petri-network in software management ,can be used for learning .
袁崇义petri网的原理与应用
- 国内权威、北大袁崇义教授的petri网书籍，形式化展现系统架构(Petri net books authoritatively developed by Prof. Yuan Chongyi of Peking University to formally display the system architecture)