以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型
基于UML和Petri网的FMS的系统建模,李龙,林岗,针对FMS(FlexibleManufacturingSystem,柔性制造系统)系统的复杂性,结合UML(UnifiedModelingLan
BPEL(Business Process Execution Language,流程执行语言)是一种广泛应用于支撑跨组织协同的服务组合标准。分析BPEL语言构造的流程的性能提供了一种有效的制造更可靠
基于Petri网的FMS建模与调度研究.关于利用Petri网进行建模,对调度系统进行分析模拟。
详细介绍了基于分层着色Petri网的飞机拼修维修建模方法
基于面向对象的Petri网建模研究,沙婷婷,陈金水,一个工作流系统成功的关键在于向其输入的工作流的质量。因此,工作流的建模非常的重要。本文将面向对象的技术融入到Petri网中,提�
Petri网是具有直观形象的图形描述以及严格的数学定义的建模工具。对数字图书馆书刊流通系统建模。
Tina是一款对时间Petri网支持得比较好的软件,也是用得较多的一款软件。它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw),适用于Windows和Linux操作系统,也就是说他
用于petri网的专业画图工具。 绿色免安装,支持windows和linux系统。
CPN建模语言是一种通用建模语言,即它不是着重于为特殊类型系统建模,而是旨在实现一个广泛类型的并发系统的建模。典型的CP-nets应用领域包括通信协议,数据网,分布式算法及嵌入式系统。然而,CP-ne
