Petri网是对离散并行系统的数学表示。Petri网是20世纪60年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。
讨论树型网格环境下独立任务的调度问题，把网格资源计算能力和网络通信速度的异构资源调度问题转化为线性规划问题。提出网格资源调度的树型Petri网模型，基于速度优先的启发式资源调度算法对树型Petri网模
涵盖Petri网在输电系统故障诊断中的建模与应用，从理论分析到实际案例解析，深入讲解如何利用Petri网进行逻辑推理和状态推演，提升故障识别效率。
讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模，提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法，该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议，并通
Petri Nets Petri nets are a basic model of parallel and distributed systems
渗透测试是常用的网络安全保障方法。该文细化现有渗透测试过程，针对传统渗透测试模型存在的不足提出一种基于有色Petri网的攻击测试网模型，用于模拟网络攻击并组织测试过程。探讨不同攻击场景的合成规则和测试
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri 网、有界的标识T-图具有汇合性质，讨论共享合成与同步合成操作对Petri 网汇合性质的保持性，得出由上述简单的Petri 网子类通过共享
该文介绍了佩特利网（Petri网）和Stateflow的基本概念，给出Petri网在Matlab环境下的