动态死锁分析与检测

可达树是Ｐｅｔｒｉ网性能分析的重要工具之一。本文在可达树和网结构的基础上,提出了一种分析与检测动态死锁的新方法,并给出了相应的算法。     

阻塞呼叫控制机理广义随机Petri网建模与分析

基于广义随机Ｐｅｔｒｉ网（ＧＳＰＮ）,对数字交换机面临过载时的一种阻塞呼叫控制机理进行了描述与分析,建立了其广义随机Ｐｅｔｒｉ网模型。通过对模型求解、构造可达图及同构Ｍａｒｋｏｖ链,推导出了这种控制试上系统性能的解析结果,给出了它们与控制严密程度之间的关系,从而为定量分析和评价数字交换机过载控制特性提供了依据。     

制造自动化系统的TCPN规格及其可调度性分析研究

时间约束Ｐｅｔｒｉ网是Ｐｅｔｒｉ网的一种扩展形式,是迄今为止对时间约束描述能力较强的网之一,文中给出了建立制造自动化系统时间约束Ｐｅｔｒｉ网模型的一般性步骤,以及其于时间约束Ｐｅｔｒｉ网的可调度分析算法,并以制造自动化系统的应用实例,具有说明了可调度分析法的应用。     

基于面向对象技术与有色Petri网的FMS建模

在柔性制造系统建模中，结合应用面向对象技术和有色Ｐｅｔｒｉ网。提出了该建模方法在ＦＭＳ中的应用思路和步骤：运用思想将ＦＭＳ抽象化、对象化并从整体上规划对象间的信息交流，建立系统级信息Ｐｅｔｒｉ网模型；在此基础上，建立了对象内部行为的有色Ｐｅｔｒｉ网模型。     

求解0—1规划的Petri网方法

本文提出了０－规划的Ｐｅｔｒｉ网模型，并用Ｐｅｔｒｉ的可达性树来求０－１规划的最优解。此方法优于隐枚举法和分枝定界算法，因此为０－１规划的求解提供了更好的方法。     

用Petri网进行并发系统的描述与分析

本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。     

广义随机 Petri 网用于计算机网络的 SNA 窗式控制

给出了计算机网络的ＳＮＡ窗式控制的广义随机Ｐｅｔｒｉ网模型以及可达图,从而可描述分析ＳＮＡ的窗式控制机理,并进一步介绍了极限情况下窗式控制机理的分析方法,比较了三种窗式控制机理的性能指标。     

智能网中业务逻辑的一种验证方法

用Ｐｅｔｒｉ网模型描述了业务逻辑的结构特性,并给出了通过业务逻辑的Ｐｅｔｒｉ网模型验证业务逻辑结构正确性的方法。     

SDL规范性能自动分析

重点阐述ＳＤＬ规范性能的自动分析。分两个步骤，首先将ＳＤＬ规范映射到等价的Ｐｅｔｒｉ网模型，再对Ｐｅｔｒｉ网模型进行分析（可达性分析和线性不变式分析）。分析工作与转换工作由工具ＳＤＬＰＮ自动完成。     

多媒体同步技术

阐述了用层次化和对象复合Ｐｅｔｒｉ网建立多媒休蝗同步模型,分析了多媒体对象表现的时间关系,提出了用基于参考时间轴和参考实现影像播播放的同步控制方法。     

基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。     

医学检验分析仪控制系统Petri网建模

针对全自动医学检验分析仪的控制系统,以Petri网原理为依据,采用赋时Petri网的建模方法,解决了控制系统中的冲突、死锁等问题。仿真验证该模型,其结果显示：通过赋时Petri网建模能有效地解决这些问题,检验该建模方法的正确性。     

基于时间Petri网和启发式搜索的资源分配

提出了一种改进的时间Petri网计划管理模型,综合考虑调度和资源分配,以充分发挥FMS的柔性制造能力.首先根据系统理论,区分了两种资源类型:主角(主资源)和配角(辅助资源),然后再根据主资源构造FMS的时间Petri网.这种方法简化了Petri网的构造,给出了一个清晰的资源调度流程,并且辅助资源的分配可以在调度的同时利用启发式搜索算法给出.最后,给出一个改进的时间Petri网在资源受限情况下进行调度和资源分配的实例.     

SDL规范性能自动分析

重点阐述 SDL 规范性能的自动分析.分两个步骤,首先将 SDL 规范映射到等价的 Petri 网模型,再对 Petri 网模型进行分析(可达性分析和线性不变式分析).分析工作与转换工作由工具 SDLPN 自动完成.     

基于Petri网的生产车间物料运输系统建模与仿真

提出了一种基于Petri网的生产车间物料运输系统Petri网模型,可以将该系统的物理过程通过网系统形象地表示出来,并反映出系统的动态特性。同时用ARENA仿真软件对该系统进行了模型仿真研究,仿真结果表明该模型是合理的。     

Research of the Assembly Model Based on Petri Net

Assembly model plans an important role in assembly sequence planning.Flexible assembly system (FAS) is a dis- crete event system (DES),so Petri net,as an important analytical tool for the DES,is used for modeling of an FAS.All of the feasible assembly sequences can be obtained by firing the Petri net model.In order to enhancing the efficiency of the assembly sequence planning,knowledge-based Petri net,combining an usual Petri net with expert's knowledge and experiences,is proposed to con- struct the assembly model.So the feasible assembly sequences can be reduced greatly,and the optimum assembly sequence could be generated without the combinatorial explosion of solutions.     

PDM系统中工作流与过程管理模型的建立

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程.     

基于Petri网的火灾报警控制系统建模

分析了火灾报警与联动控制过程,并利用Petri网对这一过程中事件的异步、并行、冲突等重要特征进行描述,并实施分析、研究,对数据处理算法予以优化,最后给出了基于Petri网的火灾报警控制系统模型。     

基于Petri网的电子政务动态流程建模

Petfi网具有图形化的直观性和数学的严谨性，非常适合进行复杂离散系统建摸．电子政务系统往往涉及行政部门多、业务流程复杂，一件业务通常有时限要求且涉及到的相关部门具有动态并发性．一些业务的流向具有并发和动态特征，用传统Petri网及其扩展模型难于描述．提出一种支持动态并发流程生成的动态Petri网模型DOPN，以适应具有动态复杂流程的电子政务系统建摸，并通过市长公开电话系统业务流程的成功开发验证了其正确性。     

数控机床可用度建模与仿真

首先对数控机床运行的动态变化过程进行深入分析,建立了可靠性随机Petri网模型;其次利用故障总时间法得到各故障时刻和各子系统对应状态,在此基础上进行蒙特卡洛仿真,建立了数控机床和独立子系统的动态可用性模型。文中以7台数控车床的261条故障数据为例进行分析,确定数控车床及各子系统可用度随时间的变化趋势,分析结果为合理制定数控车床的维修策略以及设备可用性状况预测提供依据。