论高级Petri网系统的等价谱系

高级网系统简洁明了，在Petri网系统的应用中是非常有效的．本文讨论了高级网系统的等价变换，提出了高级网系统的两种极端形式——最高网系统和最低网系统，并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统．此外，还提出了高级网系统的等价谱系，旨在从理论上分析清楚高级网系统的本质．     

功能确定的离散并发系统的Petri网规范设计方法

本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ网模型的桥梁，也就是系统的规格说明，概念模型包括功能图，资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计方法，通过一制造系统的建模，说明了该方法的规范性和有效性。     

多主体行为冲突的Petri网方法研究

将主体的动作分为内部动作和外部动作，单个主体的内部行为通过其对应的Petri网系统进行描述，进一步得到多主体系统对应的层次Petri网系统。通过主体间的外部动作关系的讨论分析得到多主体系统出现冲突的必要条件，并且Petfi网系统运行时的一个死标识对应多主体系统的一个冲突，特别是资源冲突。     

无锡人民银行同城拨号网的建设

在一个城市中开通一个专线联机网投资比较大，因而未能大面积推广，因此开发一个适合我国实际情况的高性能网是当前面临的首要问题。利用现有的有线、无线通讯技术开发具有联机特性的拨号网不失为解决问题的一种有效方法，笔者就无锡市银行系统开通的同城无线拨号网谈一些体会。现在虽然有很多单位在使用拨号通信，但大部分都是点对点的文件传输，不能称之为网。作为一个网络系统不仅应具有传输数据的功能，它还必须具有管理通信资源的能力。对于拨号网来说，它与专线网最根本的区别就是其通信资源比专线网的通信资源少的多，要使拨号网的性…     

柔性制造系统中多路径条件下的死锁避免

路径选择柔性是柔性制造系统的重要特性，但它使系统的调度和控制复杂化，从避免死锁这一重要要求出发，讨论了多路径条件下系统的建模，给出了一种称之为面向资源的着色Ｐｅｔｒｉ网（ＣＲＯＰＮ），它不仅能很妇地描述系统中的动态资源竞争，而且能准确地描述系统中的工作流，利用这一模型，将获得避免死锁的充要条件。     

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

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

基于Petri网的分布式实时嵌入式系统调度的建模

提出了一种基于资源的时间Petri网模型，以便建模分布式实时嵌入式系统中的静态调度，分析系统性能。该模型将处理器资源和通信资源，以及相应的优先级附着到变迁上，从而建模以下的分布式实时嵌入式系统：在单处理器上采用基于固定优先级的抢先式调度，处理器之间的通信采用基于固定优先级的不可抢先式调度。最后分析了该模型的语义、性质以及状态类图的构造方法。     

基于资源配置混杂Petri网的混杂系统生产过程建模

为了增强混杂Ｐｅｔｒｉ网解决资源共享和资源冲突的能力,定义一种新的混杂Ｐｅｔｒｉ网模型———资源配置混杂Ｐｅｔｒｉ网,提出了相应的使能和激发规则．将对连续变迁和离散变迁的控制作用引入混杂Ｐｅｔｒｉ网,同时,增加了资源配置变迁和资源释放变迁,用于有效分配可重复利用的资源．以典型的混杂生产过程为例,研究混杂系统生产过程建模．研究结果表明,所定义的模型描述能力强,模型语义正确合理,能够有效描述和分析混杂系统生产过程．     

资源循环共享的Petri网的形式化设计方法

资源共享是子Ｐｅｔｒｉ网耦合为总网的一种途径，其中对资源循环共享是其重要方式之一。为了研究Ｐｅｔｒｉ网的形式化方法，必须首先研究基于Ｐｅｔｒｉ网的设计，而后研究了Ｐｅｔｒｉ网的耦合，以往的研究多集中于竞争共享资源的方式上，很少涉及循环共享，本文在以往工作的基础上，提出了资源循环共享的Ｐｅｔｒｉ网设计的形式化方法，并给出了两个实例，举例说明了上述形式化设计方法。     

多媒体会视频会议系统在IP网中的实现

本文在给出了多媒体视频会议特征与资源预留RSVP传输控制协议的基础上，对采用IP网实现多媒体视频会议系统进行了较为详细的分析．并讨论了其可能的应用前景。     

航班延误波及链的有色出现网模型

针对基本Petri网的出现网在描述有色Petri网动态行为时的局限性,在基本出现网的基础上定义了一种扩展的出现网,即有色出现网,直观地反映了有色Petri网系统中资源流动及变化之间的顺序和并发关系,也大大减小了图形的复杂程度.同时,将有色Petri网和这种有色出现网应用于航班延误波及链的建模中,反映了航班执行时所需的多种资源的分布及流动情况,描述了航班在执行过程中与机场之间的相互影响及延误的链式波及反应.     

Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems

Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilities the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reach their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For an general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.     

Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems

Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resource-transition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.     

Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources

In most application of Petri nets, resources are modeled as tokens. Unreliable resources pose challenges as existing Petri net theory is deficient in analyzing the impacts of the perturbation due to resource failures. One strategy to analyze a perturbed system is to study its robustness with respect to uncertainties. In this paper, we study the robustness of a class of controlled Petri nets called controlled assembly/disassembly Petri net (CADPN) for assembly/disassembly processes with unreliable resources. The number of tokens in CADPN is not conservative to capture the effects of resource failures. Based on the CADPN model, we characterize different types of tolerable resource failures allowed for a nominal marking of a live CADPN. We show that liveness of a CADPN can still be preserved under tolerable resource failures.     

基于扩展Petri网的虚拟维修作业过程模型

维修作业过程模型是进行装备虚拟维修性分析与维修训练的基础。维修作业过程属于典型的离散事件,Petri网方法相对于其他过程建模方法,更适合于描述具有冲突、并发关系的离散事件系统,且模型具有直观性。利用时间-有色Petri网对装备的维修作业过程进行建模,分析讨论了维修作业过程中逻辑关系的表达与维修保障资源的描述;引入对象概念对资源库所进行了扩充,定义了维修作业变迁的触发条件及触发延时的确定方法,增强了模型的描述能力。最后通过一个维修作业实例,说明了该模型可以很好地应用于装备维修作业过程建模。     

一种改进型的S4PR网活性条件

研究了顺序资源共享分配系统的建模模型S4PR (Systems of sequential systems with shared resources)网的活性问题. 已有的研究成果表明, 一个S4PR网在所有信标都满足max, max'或max"-controlled 时能保持活性, 但现有的活性条件对信标的限制严格且不适用于某些网系统, 本文提出了一类名为max*-controlled的改进型条件, 并证明了当一个S4PR网的所有信标都满足max*-controlled条件时, 网系统能保持活性. 与现有的其他条件相比, 新的活性条件更加宽松, 为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑.     

离散制造装配系统的活性控制

首次研究离散制造装配系统的活性控制问题.建立了系统的工件加工过程Petri网 模型.通过对系统Petri网模型的结构分析,提出了导致系统死锁的两类元素结构及活性特 征.对一类离散制造装配系统提出了避免死锁的Petri网控制器,这类控制器容易实现,对系 统的限制小,而且使得受控系统仍具Petri网模型.对一般离散制造装配系统提出了保证系统 活性的控制策略.     

基于随机Petri网的协同服务模型与分析

提出了一种基于随机Petri网的协同服务模型与分析方法,选择了企业协同服务中几个最具有代表性的流程,利用随机Petri对这些代表流程进行了建模以及模型简化和证明.然后,以电子商务系统中的物流系统为例,在随机Petri网模型建模的基础上应用模型等价化简和性能评价方法,时模型化简前后的系统性能和计算时间进行了对比分析.