搜索资源列表
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 environment simulation. Hybrid Petri
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
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
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.