Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。
介绍了一种混合Petri网的基本原理，在分析了复杂地下工程智能化系统的复杂性、交互性、混合性的基础上，提出了利用混合Petri网对复杂地下工程智能化系统进行建模的一般方法，进而为复杂地下
为增强工作流管理系统的安全性，本文使用高级 Petri 网对工作流过程进行建模。针对不同的安全问题，分别引入时间Petri 网、有色Petri 网和有色时间Petri 网进行建模。保证
多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题，也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型，以抽取某级通信指挥系统与筹划作战方案的智能运作模型
在目前基于Agent 的分布式入侵检测系统的设计中，主要的设计思路是依赖多Agent 联盟合作机制，但在具体的工程实现中，却难以找到一种恰当的实现模型。本文针对此问题，提出了基于有色Petri Net
Petri网是一种图形化建模分析工具，它应用广泛其范围己远远超出了计算机科学的领域。本文以廉租住房管理系统为例， 提出了一个基于随机Petri网工作流建模的方法，对模型的正确性进行了验证。并利用随机P
本文针对工业中广泛存在的混杂系统，结合进化算法，研究了应用Petri 网的分层递阶建模方法，实现一类混杂系统的建模与优化。关键词：混杂系统 Petri 网 建模 进化算法 优化Abst
为了增强传统对象Petri网的定量分析能力，提出随机对象Petri网模型。该模型具备随机性和层次特性，获得与随机Petri网的等价关系，从宏观和微观2个层面对系统进行性能分析，并将该模型应用到柔性制造
Petri 网是一种很有效的模型描述语言，尤其适合描述工作流。[1]给出了基于Petri 网的工作流逻辑（WF_logic）化简规则，这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规