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

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

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

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

顺序任务梯形图的一种设计方法

基于Ｐｅｔｒｉ网理论和方法,研究了可编程序控制器程序设计语言的一种自动设计方法．首先把控制任务自动综合为Ｐｅｔｒｉ网,其次研究了由该Ｐｅｔｒｉ网到梯形图的转换算法．这种方法尤其适合于小型可编程序控制器,其改进后还可以处理更复杂的多路径顺序任务问题．     

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

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

一种顺序控制器的设计和验证方法

针对顺序控制任务,给出了一种基于Ｐｅｔｒｉ网的顺序控制器设计和验证方法。将顺序控制的规格说明描述为Ｐｅｔｒｉ网,传感器信号定义为变迁的属性,通过网的不变式理论对其加以验证。由于现有工控制机和可编程控制器并不支持基于Ｐｅｔｒｉ网的控制程序,所以研究了基于Ｐｅｔｒｉ网的控制器到梯形图的转换方法。     

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

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

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

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

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

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

分布式数据库设计中一种新的需求分析表示方法

提出一种改进Ｐｅｔｒｉ网模型,并引入了层次Ｐｅｔｒｉ网的概念,给出了分布式数据库设计中一种新的需求分析表示方法。     

SIMAN在炼钢生产仿真中的应用

炼钢生产过程是一个典型的离散事件系统。本详细分析了该过程,并给出其四个主要子系统的Ｐｅｔｒｉ网模型,在此基础上,用ＳＩＭＡＮ语言对某炼钢厂进行了实例研究。     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

基于Petri网可达性和结构的最大许可控制器设计

自动化制造系统属于资源分配系统，在运行过程中容易陷入死锁状态.为自动化制造系统设计控制器，达到避免死锁之目的.另外，良好的受控系统应具有最大许可行为.为了便于实现，控制器通常由线性约束综合表达.在现有的工作中，基于可达性分析，将处理对象缩减为一个小集合，仅包含少数可达非法标识.然后，对每标识构造一个混合整数线性规划问题并求解.由于求解整数规划固有NP-hard特征，该策略计算开销巨大.本文研究死锁的预防控制器设计.在可达图分析的基础上，结合标识的结构特点，对非法标记识别分类，建立代数条件，构造线性约束，确保其行为最大许可性.进而，设计多项式算法，使得计算复杂度显著降低.对特定的Petri网，采用结构分析，获得最大许可的受控系统.另外，对于那些结构分析中未能处理的标识，提出了线性规划解决方案.结果表明，对于所考虑的Petri网子类，避免了求解混合整数线性规划问题，本方案在计算复杂性方面具有明显的优势.最后通过两个实例验证了该方法的有效性.     

构件系统结构的Petri网方法描述

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。     

高性能网络协议的Petri网模型

Petri网是协议形式化描述的优选模型．本文对高性能协议进行了深入的研究．并针对高性能协议更高的形式化描述要求．分别从语文、同步特征、模块化．层次比、对象化等方面进行了Petri同的特性分析．最后给出了用Petri网描述的快捷运输协议（XTP）的实例．     

针对有限禁止状态的Petri网控制器综合

针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程的解向量之间存在惟一的对应关系,从而只须通过判断惟一可达解向量就能够得到相应的控制器.通过一个具体的例子验证了该方法在设计最大允许控制器中的应用,例证表明,针对有限禁止状态问题,该方法是可行的,并且简单、有效.     

弱引发三态加时变迁Petri网动态行为分析

文中提出的弱引发三态加时 Petri网比现有三态加时变迁 Petri网更适于模拟分析一类具确定性时间约束和冲突结构的并发系统 ;给出其动态行为形式化描述与分析框架 ;基于此和受控执行概念 ,并结合实际并发系统的一类调度问题 ,研究其动态行为的一些性质 .有关结果可用于优化并发系统的有限资源的配置     

一类带有限制向量的时延离散Petri网

在时延离散Petri网的基础上,该文给出了具有限制向量的时延离散Petri网模型,与时延离散Petri网等价但其标识维数减少。接着分析了该类Petri网运行规则,给出系统运行下标识的累加计算方法。最后,通过算例分析说明了累加算法的正确性与合理性。