Petri网是对离散并行系统的数学表示。Petri网是20世纪60年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。
为增强工作流管理系统的安全性，本文使用高级 Petri 网对工作流过程进行建模。针对不同的安全问题，分别引入时间Petri 网、有色Petri 网和有色时间Petri 网进行建模。保证
多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题，也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型，以抽取某级通信指挥系统与筹划作战方案的智能运作模型
Petri网是一种图形化建模分析工具，它应用广泛其范围己远远超出了计算机科学的领域。本文以廉租住房管理系统为例， 提出了一个基于随机Petri网工作流建模的方法，对模型的正确性进行了验证。并利用随机P
本文针对工业中广泛存在的混杂系统，结合进化算法，研究了应用Petri 网的分层递阶建模方法，实现一类混杂系统的建模与优化。关键词：混杂系统 Petri 网 建模 进化算法 优化Abst
为了增强传统对象Petri网的定量分析能力，提出随机对象Petri网模型。该模型具备随机性和层次特性，获得与随机Petri网的等价关系，从宏观和微观2个层面对系统进行性能分析，并将该模型应用到柔性制造
Petri 网是一种很有效的模型描述语言，尤其适合描述工作流。[1]给出了基于Petri 网的工作流逻辑（WF_logic）化简规则，这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规