Petri网的进程文法和进程语言

一、引言 Petri网进程是分析网系统运行行为最有力的工具。Petri网进程既考虑了网系统的状态变化又准确记录了引起这些变化的条件,清晰地反映事件(变迁)之间的并发和顺序关系,因此,Petri网进程比其它分析方法更便于对并发现象以及系统中同并发有关的一些性质进行分析。然而,Petri网的一个进程只能反映Petri网的一种可能的运行情况。一个Petri网往往有许多个进程,不可能一一列举,这就为进程分析带来了困难。文[1,2]中,提出了利用进程表达式描述Petri网的所有进程的方法,一个有界Petri网的进程表达式是该网的基本子进程集(有限集)为字母表的正规表达式,一个无界公平Petri网在可重复进程段行为等价的条件下也是一个正规表达式。对     

C/E网系统中交叠式序列的计数

在CCS中,Milner把系统中的两个事件处于并发定义为“它们可以按任意顺序发生”。这个关于并发的定义被称之为“交叠式并发”。然而在网论中,Petri把并发定义为“非序”,并指出并发是冲突的精确对偶。Petri关于并发的定义被公认为“真并发”。为了研究这两种并发概念的联系和差异,以C/E系统为模型,分别从这两种不同定义的视角出发,讨论了并发的表现和实质,并对网系统中存在的不同并发组合情况给出了求交叠式序列(根据交叠式并发概念而得出)个数的一组计算公式。     

基于时延Petri网的交通信号配时方案建模与分析

针对一般情况提出一个建立道路交叉口交通信号配时方案时延Petri网模型的方法.该方法将进入交叉口车流通行权的描述细化到了每一个行驶方向每一个转向,因此便于对系统模型各种性质进行分析以及适合将其作为基于Petri网的城市交通网络仿真模型的一个组成部分.讨论模型分析并针对一个实例给出了模型仿真运行的结果.     

袋自动机

提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言.     

多主体计划的Petri网方法及其研究

利用Petri网对主体Petri的各种行为进行描述和分析，通过Petri网系统的可达性分析考虑主体计划生成问题是求解单个主体计划问题的一种有效方法。系统中的每一个主体可以通过其Petir网系统进行描述，进而得到多主体系统相应的有界层次Petri网系统。利用层次Petri网系统的可达标识图得到多主体系统关于目标状态的可达动作序列的集合，对可行可达动作序列及其中动作间关系确定得到多主体系统的计划。     

公平网的一组直接判断条件

本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况.     

正规表达式与恰当终结的标准Petri网

给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算“ ”、选择(并)运算“∪”、kleene闭包运算“*”、并行运算“//”的性质,给出了用恰当终结的标准Petri网(带空标注)模拟和带并发算子的正规表达式的方法。     

Petri网中的广义公平关系

在吴折辉等提出的公平性和王培良等提出的弱公平性概念的基础上,提出了Ｐｅｔｒｉ网中的广义公平关系,同公平关系和弱公平关系比起来,广泛公平关系的概念更符合计算科学对公平性的传统理解,文中讨论了存在准公平关系的可重复网结构,并在此基础上给出了菊花链式握手协议的一个Ｐｅｔｒｉ网模型。     

Petri网的状态转换图

给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性和依赖度,准确地给出了可重复序列之间依赖关系的形式描述;分析了Petri网语言的结构特点,证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步.     

基于CPEBSDL通信协议的Petri网建模方法

结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。