Petri网建模、分析、仿真工具

以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型

基于UML和Petri网的FMS的系统建模，李龙，林岗，针对FMS（FlexibleManufacturingSystem，柔性制造系统）系统的复杂性，结合UML(UnifiedModelingLan

基于Petri网的FMS建模与调度研究.关于利用Petri网进行建模，对调度系统进行分析模拟。

详细介绍了基于分层着色Petri网的飞机拼修维修建模方法

基于面向对象的Petri网建模研究，沙婷婷，陈金水，一个工作流系统成功的关键在于向其输入的工作流的质量。因此，工作流的建模非常的重要。本文将面向对象的技术融入到Petri网中，提�

Petri网是具有直观形象的图形描述以及严格的数学定义的建模工具。对数字图书馆书刊流通系统建模。

BPEL(Business Process Execution Language,流程执行语言)是一种广泛应用于支撑跨组织协同的服务组合标准。分析BPEL语言构造的流程的性能提供了一种有效的制造更可靠

建立PETRI网模型，得到仿真结果，便于分析！而且有学习的工具！

Petri网学习课件 详细讲解petir网理论并运用应用 有兴趣的朋友可以下载交流

论文材料\小论文\基于PETRI网的采购业务流程优化研究（初稿）希望对大家有帮助