自修改Petri网及其P-线性不变量

自修改网是７０年代末问世的一种拓广的Ｐｅｔｒｉ网，但迄今为止自修改网还没有一个规范的数学模型．本文米用了矩阵及向量的方式对自修改网的模型、点火规则以及其位置线性不变量进行了规范的数学定义；并从可达集的角度讨论了位置／转移网与自修改网之间的关系；通过求解齐次线性方程组族，给出了求位置线性不变量的一个充分必要条件．最后，通过一个实例说明了其优于位置／转移网之处．     

利用不变量综合具有不可控变迁DES的Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件系统中实现一组不等式约束Petri网控制器问题,给出了一类Petri网位置不变量存在的必要和充分条件,基于路增益的概念,通过构造Petri网位置不变量的方法综合一类结构无竞争Petri网的控制器。     

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

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

Petri网的两种块笛积运算

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

一种基于Petri网的事务模型

提出了一种基于Ｐｅｔｒｉ网的关系数据库的事务模型，即事务网，它清晰地表明了数据与事务的相互依赖关系及事务之间的并发关系，可作为关系数据库逻辑设计阶段的重要工具。     

求次关键路线的Petri网方法

本文讨论了次关键路线与关键路线之间的一些关系，并给出了求次关键路线的Ｐｅｔｒｉ网方法。     

两类Petri网结构元素间的对应关系

建立了柔性制造系统Ｐｅｔｒｉ网模型中两类结构元素之间的一一对应关系，利用不同结构元素得到了系统活性之间的等价性，使得分析、控制柔性制造系统的两类不同方法之间有了一个内在联系     

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

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

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

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

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

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

基于Petri网的Internet多机器人协调控制器设计

基于Petri网库所不变量理论提出Internet多机器人协调控制模型,并利用此模型解决系统操作中的碰撞检测问题．通过对两个机器人协作空间进行网格划分,引入隐式、显式基本操作概念简化Petri网模型,从而增强了系统的灵活性;对操作中的异常情况进行分类,建立了故障恢复Petri网;利用库所不变量理论设计机器人协调控制器,规划多机器人协调动作．仿真实验表明,所提控制模型可以有效满足系统的安全性和实时性要求．     

基于工作流的安全库所替换网特性研究

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.     

SDL规范性能自动分析

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

Petri网不变式和状态方程的求解

不变式和状态方程的求解是Petri网分析中的基本问题. 研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态方程的求解方法和发射向量的通解形式. 这些方法都是基于网关联矩阵的满秩分解. 讨论了Petri网系统状态方程存在整数解的条件,即可达性的一个必要条件. 该条件对于Petri网可达性分析有着重要的意义和价值.     

基于Petri网求解网络最大流的并发仿真方法

通过将网络映射为Petri网形式的大量Petri网仿真实验得知,没有任何控制且并发运行的网络,其流量不能总是自行达到理论最大值,究其原因在于托肯在路径选择时随机经过了易拥堵结点与不拥堵结点。针对性地采取相应的网络控制策略,对网络从库所参数、弧参数和变迁参数3个方面进行单一或组合的设置,使得托肯优先经过不拥堵结点。运行调整后的网络,托肯沿网络从起点出发在各个局部并发地移动,遍历每一可能达到的结点,直至终点,网络流量达到其理论最大值,网络流实现全局最优。基于Petri网求解网络最大流的并发仿真方法为大规模网络最大流问题的分布式计算提供了一个新思路。     

基于扩展Petri网的安全关键软件需求模型检验

Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建模和软件程序语义映射,通过模型检验和反例路径分析,可以达到修改和完善需求模型的目的,从而提高软件的质量和安全性.     

基于量词消去的Petri网不变式自动生成

基于模板和量词消去建立了一个求解Petri网不变式的算法.引入一个带参模板作为Petri网的候选不变式,再根据不变式必须满足归纳断言初始条件和承接条件,将Petri网的自动生成问题转化为量词消去问题,并求解出带参模板中的参数得到原Petri网的不变式.最后通过两个算例说明了该算法的有效性.     

Petri网中基于E-CSPE约束的数据流测试

定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标。在准确描述分布式程序及运行的基础上,解决了用Rapps-Weyuker数据流测试指标引起的测试路径空间爆炸问题。     

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

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