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

情境感知系统对情境信息的利用程度在不断提高，对服务的多样性提出了更高要求，但是传统的情境感知系统的建模方法难以满足对系统动态描述和模拟的需求。通过对传统的Petri网进行扩展，提出了情境感知系统的赋时着色Petri网模型；并结合仿真工具CPN Tools对模型进行模拟和验证，进而发现系统设计中存在的潜在不足，对其优化改进。以痴呆老人智能辅助系统为例，证明了该方法的有效性。

Pipe的的最新版本，画petri网很好的工具，这样可以了吗 Pipe的的最新版本，画petri网很好的工具，这样可以了吗

spnp作为petri网的模拟工具之一，具有很好的模拟仿真能力，此作为它的使用指南，给spnp的初学者一个良好的开端。

BPMN元素到Petri的映射，开始事件、结束事件、网关、编排任务的映射

为支持先进机场场面活动引导与控制系统(A-SMGCS,advanced surface movement guidance and contro system)实施航空器滑行的精确引导,将场面分为滑行道交叉口和直线段等典型运行单元,利用改进的扩展赋时库所Petri网,建立了场面运行模块化模型；采用该模型进行染色体编码,并考虑场面运行管制规则,提出了染色体合法性检测与修复算法,以及染色体交叉和变异算法．基于首都国际机场01号跑道实际运行数据,用本文模型和算法进行了多个航班滑行初始路径规划,研究结果表明:与节

Petri网及其在制造系统建模与控制中的应用，很好的资源

好用的Petri网的仿真分析工具，功能齐全，界面清晰，用Java语言编写的交互式编辑器，可用于绘制广义随机Petri网（GSPN）和确定性定时自动机（DTA）。 安装时要先配置好java环境。

NULL 博文链接：https://rept.iteye.com/blog/676904

是一种形式化建模方法。常用来构建系统。其他的还有流程图的方式等