时延Petri网模拟能力研究

Petri网是一个功能强大的建模工具,然而原型Petri网的模拟能力有限,而对原型Petri网的扩充可以提高其模拟能力.时延Petri网是一种重要的含时间因素的Petri网,已广泛应用于并发系统的建模,所以对时延Petri网的模拟能力的研究就非常必要.本文首先说明时延Petri网能够满足零检验理论,然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力.而后用时延Petri网实现对计算机经典问题的建模.     

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design／CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。     

模糊时间Petri网及其时间推理方法

Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图;当系统存在较多     

时间Petri网在现场通信系统中的分析方法

鉴于时间Petri网易于描述系统并发、冲突等现象的优点,本文首先介绍了几种时间Petri网,并采用了其中的时延Petri网和随机Petri网,在理论上分别建模和分析了同一通信协议。然后,将理论上得出的这两种协议描述分析方法．分别应用在一实际温控系统的现场通信协议中。通过比较、验证系统的性能指标,说明了这两种方法的应用性和针对性。     

时间约束Petri网的可达性分析研究

时间约束Ｐｅｔｒｉ风是具有广义时间约束的一类Ｐｅｔｒｉ网。目前有关ＴＣＰＮ状态可达性的研究仅局限于一些较简单的网,本文通过对ＴＣＰＮ的进一步研究,给出了更一般的状态可达性分析方法,并讨论了一般拓扑结构ＴＣＰＮ的可调度分析。     

基本图灵机的Petri网建模研究

该文采用Petri网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri网的基本概念与定义,然后给出了一个利用Petri网对基本图灵机进行建模的有效算法,研究了用Petri网为基本图灵机建模的一般方法,说明了该方法的优越性,并最终以一个建模实例验证了该方法的有效性和可行性。     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

Petri网时间特性分析

为了进一步研究随机Petri网的时间特性,引入了时间Petri网、闭网、常返网、有环网、无环网等概念,证明了随机Petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一个网是否是时间特性网的数值方法。同时讨论了变迁发射时间特性,给出了发射时间密度公式。     

基于Uppaal的时延Petri网到时间自动机等价模型验证*

时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时间自动机等价转换算法（简记作TPN-to-TA 转换）,将一个描述实时系统的时延Petri网模型转换成与其语义等价的一组时间自动机模型。使用时间自动机中成熟的模型验证工具Uppaal对此时延Petri网的模型进行验证。     

基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

面向对象的Petri网建模技术的研究

将面向对象的概念引入到Petri网建模技术中，对网进行分类与抽象，给对象模型的消息和方法赋予新的含义，并将Petri网扩展成具有输入与输出的开放式系统，从而形成了面向对象的Petri网建模技术（简称OPNe技术）。给出的OPNet建模技术的一般方法具有较大的实际意义。     

基于AOP的时空Petri网的CPS建模

信息-物理融合系统(Cyber-Physical System,CPS)作为一系列物理过程和计算过程的紧密集成,体现为物理世界和信息世界的交互与融合。针对CPS的时空及非功能属性,提出一种面向方面的时空Petri网建模方法,在保证时空一致性的前提下,分离系统中的核心关注点和横切关注点,将横切关注点单独作为方面进行分析,并将构建规则方面重新织入系统。该方法在系统设计阶段可以对不同的非功能属性进行形式化分析,提高了系统的可靠性和可维护性。最后通过实例说明了该方法的可行性。     

一种基于Petri网原理的数据流模型研究

数据是系统信息资源的主要表现形式,在信息系统的系统设计和系统分析过程中,数据流建模是一个不可缺少的核心环节。从分析数据资源的特点出发,重点介绍了一种基于Petri网原理的新型的数据流程建模方法——数据流Petri网（DSPN）,给出了数据流Petri网模型的形式化定义和图形表示,并以求解裴波那契数列第n项数值为例,详细说明了数据流Petri网模型在数据流程建模上的表达能力和建模特点。     

属性Petri网建模及其应用

从哲学上事物的质-量互变规律出发，定性映射是以感觉特征抽取为依托而建立的脑思维数学模型。该文提出了基于定性映射模型的诊断系统的建模工具(属性Petri网的基本模型)，给出了形式化定义和基本运行机制，分析了基于属性Petri网的诊断推理算法及实例，该模型在以定性判断为特点的诊断系统中，能得到较好的应用。     

基于Petri网的半导体生产线建模

总结了Petri网在半导体生产线建模中的应用,着重针对半导体生产线大规模,可重入,可靠性,混合加工方式,不确定性等特殊复杂性,对多种扩展Petri网模型进行了分析和比较,并进一步探讨了基于Petri网模型和扩展Petri网模型的半导体生产线建模方式,指出了存在的问题,并探讨了可能的研究方向。     

基于时域Petri网的业务流程重组建模与评估方法

采用基于时域Petri网的流程建模方法,对业务流程重组过程的可行性进行了分析。在时域Petri网模型的基础上,从是否存在死锁、制造提前期、执行时间和资源成本等方面进行了评估方法研究。通过建模与评估,减少了流程重组的盲目性,降低了重组实施的风险。     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是,传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网,结合工作流本身的特点,对Petri网进行扩展,提出了一种描述工作流模型的新方法--信息控制Pettri网,并给出其表示工作流模型的正确性定义和验证。     

基于时延Petri网建模的主从自适应协调控制方法

为了保证城市道路"绿波带"的通行效率,合理协调主从道路的车流量,通过利用时延Petri网建模,提出了一种主从自适应协调控制方法。该方法可以根据干线主路口的车流量自动调整其相位时间,也可根据主路口的相位及车流量自动协调变换从路口的相位时间。通过案例分析,该方法可以有效实现主从路口的自适应协调控制,在保证绿波带畅通的同时,使通过支路的车辆数尽可能大,有助于提高交叉口的通行效率。     

一种考虑QoS的Web服务组合Petri网建模方法

Petri网是一种适合描述Web服务组合的建模方法,但是它无法对Web服务的服务质量(QoS)进行建模和分析.为此,将用户最为关心的服务时间、价格和概率3种QoS因素引入到Petri网模型中进行建模,提出了概率时间价格Petri网PTCPN,给出了PTCPN的语义及分析求解算法,并进行了实例建模和分析.结果表明,PTCPN可以有效支持服务组合功能和QoS的形式化统一建模和分析.