论文研究-基于随机Petri网的装备维修保障系统性能分析.pdf,  考虑维修能力不足和备件短缺等因素, 定义了装备维修保障过程的广义排队时间、广义维修服务时间等的系统性能参数. 建立了基于随机Petri网的装备维修排队问题的形式化描述模型, 研究了模型的简化解析分析和仿真分析方法. 结合实例分析了改进系统性能的途径, 验证了解析方法的有效性. 研究表明, 提高维修小组能力和备件满足率是提高维修保障系统性能的有效途径.

基于计时Petri网和极大代数理论构建了串行生产线的稳态方程，并对其进行了周期分析。以此为基础，建立了串行生产线生产率控制模型。应用变分法求解模型，并在Maflab平台上对模型进行了仿真运算。结果表明，在满足生产工艺要求的前提下，要保证生产线的高生产率，生产线上瓶颈工作站的位置应尽量靠近生产线尾端；生产线上各工作站的生产率应呈依次下降的趋势；每个缓冲区理想的在制品库存量应尽量接近其初始库存量。在进行串行生产线设计时，这些结论具有实际参考价值。

用java编写的petri网工具，比较小巧好用

本书是一本有关Petri网的建模、验证与应用的优秀教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。

petri网的的模型检验

Petri网不变量的求解算法及其应用.doc

CPN tools论文必备 非常好的论文工具

petri网的状态空间 定义9。设C=(P, T, I, O)是一个petri网，下一个状态函数δ： Nn ×T在作标志μ和转移tj∈T是有定义的，当且仅当对所有pi∈P， μ(pi) ≥ #(pi, I(tj)) 如果δ(μ, tj)是有定义的，则μ’=δ(μ, tj) ，其中对所有pi∈P， μ’(pi)=μ(pi) - #(pi, I(tj)) + #(pi,O(tj))

供混杂系统建模使用，在MATLAB 6.5以上版本中使用。可以建立5种类型的PETRI网。 The software Petri Net Toolbox, dealing with Petri nets under MATLAB, is presented. It can handle five types of Petri nets(untimed, transition-timed, place-timed,stochastic and generalized stochastic) with finite or infinite capacity. The toolbox is equipped with a user-friendly graphical interface and allows three simulation modes accompanied or not by animation.

对于Petri网可达树的构建，通过VC++软件实现模拟，实现了可达树的建立，节点的查询等功能。