：Stateflow是matlab环境下与simulink整合在一起的专门用来对复杂响应系统和事件驱动系统进行仿真的工具箱。应用 其对Petri网模型进行仿真，提出了一种对Petrl中资源的分类方法，根据petfi网中资源的流通方式将资源分为循环资源、非 循环资源．及隐性资源。并结合变迁的个数和激活方式给出了从一个已知的Petri网构造其相应的Stateflow的具体规则．及详 细步骤，最后结合某汽车冲压单元的建模进行举例说明。构造过程显示出文中提出的仿真方法具有使用简单、通用性强、扩 展性好的特点。

petri网的入门书籍，国内关于petri网最好的两本书之一

有色陪替氏网和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 Net必备资料 After simulation ends, the global performance indices described in the Scope section are stored by the PN Toolbox and can be visualized by using the Performance menu. Besides these, there are also a number of global indices for which the current values are not defined. The following two tables present the complete lists of global indices associated with the places (displayed by the Place Indices command) and the transitions (displayed by the Transition Indices command), respectively: - for a transition: • Service Sum: total number of firings; • Service Distance: average value of the current index Service Distance; • Service Rate: average frequency of firings (inverse of Service Distance); • Service Time: average value of the current index Service Time; • Utilization: average value of the current index Utilization; - for a place: • Arrival Sum: total number of arrived tokens; • Arrival Distance: average value of the current index Arrival Distance; • Arrival Rate: average frequency of token-arrivals (inverse of Arrival Distance); • Throughput Sum: total number of departed tokens; • Throughput Distance: average value of the current index Throughput Distance; • Throughput Rate: average frequency of token-departures (inverse of Throughput

首先把工程规划中有向网络转换成带时间状态的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网工具，比较小巧好用