基于着色Petri网的双向搜索关键路径算法

提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法．     

基于随机Petri网的流通加工系统建模研究

流通加工系统是一个动态离散系统,影响该系统的因素多具有并发性、异步性及随机性的特点,所以定性和定量分析流通加工系统较为复杂.以三华农副产品加工基地农副产品的一次流通加工为研究背景,利用随机Petri网构建了反映该企业流通加工系统的实际组成及运行状态的随机Petri网模型,并对该模型进行了定性分析和定量分析.其中,定性分析是根据连续时间的随机Petri网同构于连续时间马尔科夫链的特点对模型的活性、可达性、有界性等进行了分析;定量分析是利用带有模糊参数的随机Petri网求解出库所繁忙的概率、系统变迁的利用率、系统平均延时时间及流入系统的标记流速.根据所得数据分析可知:应进一步优化加工环节,流入系统的标记流速还应加快.     

时间Petri网应用及其分析技术

利用带时间的P/ T网建立了客户/ 服务器系统的动态模型, 并通过平衡方程分析其平均客户进程数和客户进程平均等待时间等参数,对进一步研究带时间的Petri网的建模技术及其分析技术的一般方法具有一定的实际意义.     

安全Petri网位置不变式的一种生成算法

Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.     

模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

基于带抑制弧时间Petri网的CNC软件模型

提出了一个扩展的时间Petri网———带抑制弧时间Petri网.该网中以抑制弧结合时延变迁来描述实时系统中的中断功能;运用所提出的带抑制弧时间Petri网建立了前后台结构模式的CNC(computernumericalcontrol)软件模型;应用所建立的模型,采用等误差直线逼近法加工一段曲率半径较小的曲线轮廓,对CNC软件中各个任务的时序逻辑进行了分析,并给出了时序分析结果.结果表明,无须对软件进行实际的运行测试,只需要知道CNC软件的时间参数和结构以及控制要求,就可以运用所建立的模型,正确地对该类CNC软件进行时序逻辑分析,评估CNC软件的控制性能.所提出的模型为在CNC软件总体设计阶段就能对其进行时序逻辑分析,为评估CNC软件的控制性能提供了方法和工具.     

基于不变量综合离散事件系统Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数（弧权值）和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.     

求解一次不定方程的Petri网方法(Ⅱ)——用带加权抑止弧的Petri网求方程的特解

引入一类增广Petri网——带加权抑止弧的Petri网的概念,用这种网构造出求n元一次不定方程的一组特解的Petri网模型和把一组整数解转换为一组非负整数解的Petri网模型,通过这些网的运行,可以求出n元一次不定方程的满足某种特定要求的一组特解,并把整数解转换为非负整数解。     

防化装备维修保障系统的Petri网

为了解决传统的Petri网模型结构复杂、缺少时间描述等不足,在装备维修保障系统建模中,利用有色Petri网、赋时Petri网理论,提出了装备维修保障系统的Petri网模型,具有结构顺序明确、计算简便、效率高等特点。     

基于混合Petri网的单点信号优化感应控制

为研究单交叉口交通信号感应控制问题,建立由连续Petri网描述交通流和离散Petri网描述交通信号控制的混合Petri网模型。根据连续Petri网的离散化方法,以连续Petri网中的参数为基础,提出各个相位车辆总停留时间的计算方法。为优化各个相位的绿灯时间,以车辆总停留时间最小为目标建立优化感应控制模型,并进行仿真计算。研究结果表明:采用基于混合Petri网的优化感应控制方法时,4个相位的车辆平均延误分别为18.19,15.65,14.88和15.24 s,与基于混合Petri网的一般感应控制方法、基于离散Petri网的感应控制方法相比较,平均延误的最大缩短率分别为26.26%和38.33%。基于混合Petri网的优化感应控制方法可以较好地实现单点信号控制。     

Fieldbus网络中轮询协议的性能研究

采用生产者／消费者通信模型建立了轮询协议模型。轮询请求帧由主节点广播至生产节点，轮询响应帧由生产节点广播至所有消费节点，协议同步由主节点周期地轮询每一变量来完成。采用过程变迁ＴＰＮ混合方法对现场总线协议进行了分析和研究。对现场总线协议进行了模拟，讨论了响应时间、吞吐量和振颤等参数，给出了其性能差异和响应界限。根据本文的结论，现场总线的设计者能够做出满足不同通信需求的有效设计。     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

基于时延Petri网的房地产业工期计划管理

分析目前用于工期计划管理的主要方法,并结合房地产开发项目的特点,提出基于时延Petri网(Timed Petri Net,TPN)的工期计划管理方法。该方法具有传统方法的特点,且解决了传统方法不能实时了解工期进展状况的缺点。论文最后通过模拟房地产开发项目验证了该方法在房地产开发工期计划管理中的适用性和有效性。     

基于TPN的柔性装配系统建模及其动态性能分析

以某真空开关厂的柔性装配系统为分析对象，建立了系统的延时Ｐｅｔｒｉ网模型，对系统的动态性能进行了仿真分析和定量计算，并对系统中的工位分配方案，操作运输时间及作业控制策略等进行了优化，文中提出的模型和分析方法对柔性装配系统的设计和研究具有普遍的借鉴意义。     

基于随机时间Petri网的第三方物流业务流程建模与分析

以流程为核心对供应链进行再造是优化供应链的重要措施．而对流程进行量化的分析评价是近年来流程再造研究的热点．Petri网以其兼备图形化的描述方式和严格的数学定义的特点而成为目前流行的业务流程建模工具．给出随机时间Petri网的定义及其性能评价方法之后,对第三方物流业务流程进行建模和分析。     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

一个多媒体数据库系统的时间同步控制机制

对象合成Ｐｅｔｒｉ网可方便地描述多媒体对象的时间同步关系,在讨论多媒体数据加的时间同步问题后,给出可用于多媒体数据中对象同步关系的描述与控制的一个具体的实现方案。它涉及三方面内容：（１）如何对象合成Ｐｅｔｒｉ网描述多媒体库中对象间的时间同步关系;（２）给出存话合成对象Ｐｅｔｒｉ网的数据结构;（３）给出按Ｐｅｔｒｉ网所描述的同步关系演示及多媒体对象的展示算法。     

面向对象的赋时Petri网的敏捷制造单元仿真

针对敏捷制造单元的特点，提出了一种面向对象的赋时Petri网（OOTPN）的仿真方法。该仿真模型不但能够模拟 实际运行过程中复杂的行为，还可以进行性能分析，为单元重构提供反馈并为单元控制提供指导。这种方法充分利用Petri网技术的仿真能力。同时通过面向对象技术的运用，单元的仿真模型还具有高度柔性和重用性，在单元重构后能够快速生成新的仿真模型。     

多媒体OCPN同步模型的研究及改进

Petri网作为一种描述系统行为的形式化工具，尤其擅长描述多媒体的同步问题，由此出现了诸如OCPN等多媒体同步模型，然而，这些模型仅能描述多媒体之间的合成同步，对于解决分布式环境下的多媒体同步问题却显得不足。本文提出了一个分布式交互多媒体同步模型，该模型可以较好的解决分布式多媒体系统的交互与同步问题。     

基于随机Petri网的NAT-PT协议的性能分析

网络地址翻译与协议翻译(NAT-PT),是IPv6(In-ternet P rotoco l vers ion 6)过渡协议中非常重要的一种。地址池是NAT-PT中的重要概念,其大小对于NAT-PT的性能起着关键的影响。该文的主要研究目的就是获得性能和地址数量上的平衡点。该文使用随机Petri网对NAT-PT进行形式化描述,建立了其广义随机高级Petri网模型和广义随机Petri网模型。并且通过工具包SPNP(S tochastic Petri N etPackage)计算分析得到了一定主机数量下地址池大小的近似最优化结果,同时对NAT-PT地址翻译的系统吞吐量进行了评价。当地址数量为近似最优值时,不仅可以节省地址分配,而且系统性能几乎不受影响。