基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

基于Petri网的系统可靠性分析

本文讨论用Ｐｅｔｒｉ网方法作为建模工具来描述单调关联故障树，并且考虑配置维修设备，可修系统的动态行为可以借且Ｐｅｔｒｉ网模型和等价的马尔可夫链进行研究。     

FMS的一种实时控制Petri网模型及应用

提出了一种对ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍ——柔性制造系统）实时控制进行建模的Ｐｅｔｒｉ网工具——实时控制Ｐｅｔｒｉ网模型．该模型是通过对变迁和位置引入第二属性，即输出控制命令和传感器信息来实现的．最后用一个ＦＭＳ实例说明了建模过程．该模型可以很方便地转换为系统的控制代码或实时控制软件     

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

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

基于Petri网的智能控制结构建模

智能控制具有递阶结构，按照精度提高智能降低的原理依次为组织级，协调级和执行级，本文提出用Ｐｅｔｒｉ网对智能控制递阶结构中组织级的任务规划和协调级进行建模，并提出用Ｐｅｔｒｉ网进行任务分解的方法，本研究对于智能控制的知识表示方法研究有一定的参考意义，并对于机器人系统设计与分析具有重要的理论与应用价值。     

Petri网技术在柔性制造系统控制领域的应用

Ｐｅｔｒｉ网是一种系统描述和分析的工具，近几年来，由于Ｐｅｔｒｉ网本身具有的某些优势，使得它在柔性制造系统控制领域的应用越来越广泛。     

数据融合系统的Petri网模型

数据融合是对按时序由传感器获得的数据进行分析和综合的过程,本文提出了多维Ｐｅｔｒｉ网系统,用它建立数据融合的功能与结构模型,构造出该Ｐｅｔｒｉ网模型的可达树,在可达树上分析数据融合的性能和行为,同时给出了建立多维Ｐｅｔｒｉ网模型和构造可达树的算法     

柔性制造系统的死锁避免控制

用一类扩展Ｐｅｔｒｉ网，以模块组合形式对柔性制造系统的制造过程进行建模．以此模型为基础，分析了制造过程中出现死锁的充要条件．并给出了避免死锁，对共享资源所采取的最小限制的控制方法     

离散自动制造系统Petri网的一种设计方法

文章力图以通信顺序进程为基础设计一种自动制造系统的规格说明语言，采用该语言所形成的描述语言可以自动转化为系统的Ｐｅｔｒｉ网模型．文章为复杂离散自动制造系统Ｐｅｔｒｉ网形式化设计理论的研究，开辟了一条新途径．     

自动制造系统规格说明语言的Petri网语义设计

研究了自动制造系统中离散事件的形式化表示方法。依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法。     

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

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

一类自动制造系统Petri网的设计方法

根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Ｐｅｔｒｉ网的一种综合方法，为研究复杂系统Ｐｅｔｒｉ网的设计理论提供了很好的基础。     

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

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

DEDS控制理论模型—受控Petri网的网论语义

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网的研究方法和成果引入离散事件动态，系统控制理论的研究。     

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

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

Petri网的广义笛积运算（II）

本文提出Ｐｅｔｒｉ网的两种新的广义笛积运算，讨论了它们的代数性质，这些结果可以作为受控Ｐｅｔｒｉ网的分析或合成的依据。     

基于Petri网的并行任务规划器

本文具体讨论了基于Ｐｅｔｒｉ网理论的并行任务规划器的设计与实现，提出将Ｐｅｔｒｉ网结合人工智能技术构造出基于网的智能系统来描述计算机集成制造系统（ＣＩＭＳ）的思路．该并行任务规划器已在ＳＵＮＳＰＡＲＣ机器上用Ｃ语言实现，达到预期设计目的     

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

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

离散事件动态系统的受控Petri网控制研究

讨论了基于受控Ｐｅｔｒｉ网描述的离散事件系统的一类控制问题，包括部分观测信息下的状态标识估计，系统的状态反馈控制设计等。     

广义随机Petri网对交换机过载控制机理研究

在分析阻塞呼叫控制机理的基础上，用广义随机Ｐｅｔｒｉ网（ＧＳＰＮ）对数字交换机中另一种常用过载控制机理－－延时呼叫控制，进行了描述与分析，建立了其ＧＳＰＮ模型。通过模型求解，得出了采用控制后系统性能的解析表达式，以及与控制严密程度之间的关系，从而定量并评价了这种控制机理的控制特性。最后，对两种控制机理的结果进行了比较。