Petri网:概念、分析方法和应用

Ｐｅｔｒｉ网以图形化的方式直观地描述了离散事件系统的各种关系和行为,且以网络理论和代数理论等作为数学基础,可方便地分析离散事件系统的各种特性．更由于其形式化的描述方法,能够直接由模型转化为代码实现对系统的控制．因此在计算机系统的建模、分析和控制综合中得到广泛应用．本文介绍了 Ｐｅｔｒｉ网的基本概念、特点、分析方法及其应用．     

有界Petri网进程表达式与活性的关系

Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.     

针对面向对象着色Petri网的中国列车运行控制系统建模

中国列车运行控制系统是一种典型的复杂实时分布系统,Petri网是其有效的建模、仿真和验证形式化方法.针对系统特征并以列车、无线闭塞中心等构件为基础,考虑列车的实际运行情况和功能类型,采用面向对象的Petri网实现系统动态特征的描述和建模.     

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .     

用关联矩阵特征值分析Petri网模型结构

通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性. 根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的方法将它们变换为同一类方阵,并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明. 采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用,为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法.     

异地电源制造中的动态访问控制研究与应用

基于异地制造系统的信息流动特点,在传统的访问控制矩阵基础上,提出了一种基于Petri网工作流的动态访问控制策略,给出了其访问规则和矩阵形式,并以一个方案评审工作流系统为例,说明了该方法的应用.     

基于着色Petri网的电子商务工作流建模研究

工作流技术的核心内容就是工作流建模,但电子商务流程非常复杂,基本的Petri网往往因为细节过多而使其图形复杂,因此通过着色Petri网对电子商务系统工作流程进行建模和仿真.通过对电子商务系统的每一子流程进行建模,并利用仿真工具对模型进行分析和验证,结果表明应用着色Petri网建模可以规范其业务流程,提高其工作效率.     

合成网的进程语义

着重考察Petri网同步合成和共享合成中其进程的性质,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性,获得一系列语义关系公式,它们将为并发系统的分析和验证提供有力工具.     

可修系统的Petri网模型及其分析

该文可靠性理论引进到Ｐｅｔｉｒ网中，建立可修系统的Ｐｅｔｉｒ网模型，并给出了系统模型的分析方法。通过对一生产系统的模拟，说明该工作的必要性。     

Petri网系统的弱公平性判定

本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X（j）〉0且X（i）=0.最后,用一个实例展示结论的应用过程.