CPN tools Petri网建模工具

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

本书是一本有关Petri网的建模、验证与应用的优秀教学与研究参考书。全书分为5个部分共27章,首先讲解了Petri网的基本概念,通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如

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

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

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

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

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

Tina是一款对时间Petri网支持得比较好的软件，也是用得较多的一款软件。它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw)，适用于Windows和Linux操作系统，也就是说他

用于petri网的专业画图工具。 绿色免安装，支持windows和linux系统。

CPN建模语言是一种通用建模语言，即它不是着重于为特殊类型系统建模，而是旨在实现一个广泛类型的并发系统的建模。典型的CP-nets应用领域包括通信协议，数据网，分布式算法及嵌入式系统。然而，CP-ne