时间Petri网等效变换的工作流评价

时间性能分析是工作流模型分析和评价的重要方面.首先介绍了业务过程的一般Petri网模型,然后引入时间Petri网建立工作流网的时间约束模型.提出了保持网时间约束特性不变的网变换规则和时间性能计算方法,对工作流网进行化简及时间性能计算,并给出了相应的算法.最后通过一个实例说明本方法的应用过程.     

时序逻辑电路设计的Petri网方法

1 引言 Petri网是一种系统模拟和分析的工具,它可以揭示出被模拟系统在结构和动态行为方面信息,利用这些信息可以对被模拟系统进行性能评估并提出改进系统的建议,从而设计出一个高质量的实际应用系统。文[1,2]利用Petri网的特性分别给出了组合逻辑电路和时序电路的Petri网分析方法,其基本思想是将已设计好的逻辑电路转化成Petri网,利用Petri网的各种分析方法(可达树、状态矩阵)进行分析。时序电路的设计是分析方法的逆过程,是根据给定的状态图或通过对设计要求的分析得到的状态图,设计出时序电路的过程;时序逻辑电路可分为同步和异步,然而采用传统的时序电路的设计方法时,即使是同步时序电路的设计也需要     

基于CPLD的基本Petri网系统的硬件实现

Petri网已经逐渐成为异步并发现象建模的重要工具 ,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径。首先介绍了 Petri网 C/ E系统的特点 ,然后讨论了硬件实现的基本结构模块。最后以哲学家晚餐为例子 ,用 VHDL 语言对结构进行了描述 ,使用了 AL TERA公司的 CPL D集成开发工具 Max Plus ,并给出了软件仿真的结果     

信息网络模型结构化研究方法综述

从统计性能层次，逻辑层次和时间层次对现代信息网络建模仿真及性能评价各种研究方法的发展历程，应用现状及研究方向进行综述，提出了为适应信息网络日益增长的系统复杂性，结构非线性的要求，结构化模型方法体系有待扩充和探索的有关问题。     

基于Petri网模型的主动对象研究

本文分析了Ｐｅｔｒｉ网及其动态行为特性，扩充了事件、条件、动作等成份的内涵，引入了基于Ｐｅｔｒｉ网事件驱动的主动对象模型，并分析了该主动对象的性质，介绍了主动对象的实现     

基于库所指标分解的Petri网活性与公平性分析

Petri网的分解技术是用于复杂网系统分析的一种有效手段．基于库所指标的Petri网分解方法，将一个复杂的网系统分解成结构简单的子网，分解后的子网保持原网系统的语言行为不变当且仅当具有公共变迁的子网的可达图关于公共变迁是同构的．若分解过程中保持系统的语言行为不变，则在Petri网的活性和公平性方面有着对应关系．本文基于分解给出了Petri网活性判定的充要条件和公平性判定的定理，对基于分解的复杂系统的Petri网分析方法提供了更为有效的理论和可行的技术．     

基于混合Agent的实时分布监控系统软件设计方法

给出了以审慎Agent和反应Agent模型为基础的混合Agent模型,并对模型的有关概念进行了说明.在混合Agent模型框架下,提出了实时分布系统软件设计方法,主要内容包括采用UML并且充分考虑系统的动态和静态特征的本体设计过程,基于本体的交互协议Petri网形式化描述以及行为规范分类和设计.通过设置反映内存保证混合Agent对事件实时响应,而审慎Agent部分的存在使基于Agent的精神状态和输入事件的推理成为可能.     

基于面向对象着色Petri网的FMS仿真研究

1引言 柔性制造系统(F Ms)的控制问题是当今Petri网应用研究的热点,也是难点~[1].研的主要困难在于Petri网的复杂性随着系统规模的增加呈指数倍地增长.在当前激烈的市场竞争环下,人们在这方     

利用Petri网进行程序并行处理的方法

针对传统的序标分析法在对程序进行并行处理过程中存在的不足,简述了Petri网的基本定义与特点,并将其引入程序并行处理的分析理论中。提出了一种新的程序并行处理的分析方法。该方法可以充分利用程序中的数据相关性,提高程序并行化程度。结合实例给出了该方法在实际中的应用。     

基于XAr/T-net的业务流程建模与分析

Petri网是对业务流程进行描述和分析的有效工具,但已有的基于Petri网的建模方法无法体现流程中关键业务数据的变化。Artifact作为业务流程中的数据实体,是具有嵌套结构的复杂数据对象。用一种图形化的XML模式定义语言描述Artifact的结构。将XML文档的操作与Petri网流程的定义相结合,对以Artifact为中心的业务流程建立一种可计算的XAr/T-net模型。在XAr/T-net模型的基础上,分析业务流程逻辑结构,并采用覆盖图分析Artifact的特性。