有色陪替氏网和CPN工具课程 可以从此处下载CPN工具： CPN书的主页可以在以下位置找到： : 阅读和准备 CPN模块基于以下列出的书籍章节和论文： 《彩色Petri网》一书的第1章和第2章： : CPN论文可通过以下： : 在有色Petri网的两个模块中，我们将使用CPN工具。 建议您在参加Petri Net课程之前先在PC上下载并安装该工具。 如果您在安装过程中遇到任何技术问题，请访问或联系讲师。 模块I-建模和CPN工具 第一个模块着重于彩色Petri网（CPN）建模语言的构造和定义。 CPN属于高级Petri网的类别，并将Petri网与功能性编程语言Standard ML（SML）结合在一起。 Petri网提供了用于对并发，通信和同步进行建模的原语，而SML提供了用于对数据操作进行建模以及创建紧凑和参数化模型的原语。 CPN和支持的计算机工具CPN工具在实践中已

首先把工程规划中有向网络转换成带时间状态的Petri网，利用Petri网的分析方法对其不合理之处加以剖析，修正其中可能蕴含的错误，接着运行该网络并进行剪枝优化，自动获取关键路径。该方法比传统算法的执行效率要高，更易于实现。

Petri网是一种可以用网状图 形表示的系统模型.它不仅仅 是一种可以用数学图形表示 的数学对象,它首先是一种物 理对象,因为它把尊重自然规 律作为第一要义,这样可以确 保以Petri网为模型描述的系 统都是可以实现的

实例1：工业生产线的Petri网模型 有一工业生产线，要完成两项操作，分别为变迁t1和t2表示，变迁t1 将进入生产线的半成品s1s2用两个部件s3固定在一起，后形成中间件s4。然后第2个变迁t2 将s4 和s5用3个部件s3固定在一起形成中间件s6。完成t1和t2 都需要用到工具s7 假设受空间限制s2 s5最多不能超过100件， s4最多不能超过5件，s3最多不能超过1000件。 *

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

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

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

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

petri网的的模型检验

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