Petri网好工具--PIPE25

层次颜色工作流Petri 网的概念,并指 出用层次颜色工作流网不仅能以层次化的方式描述业务过程,而且因为所获得的模型的语义更精确,所以可用此方法描 述具有事务属性并行任务在执行失败时的回滚策略。

懂的人自然就明白，是一种类似系统验证的工具

Petri net principle (college textbook, Yuan Chongyi)

对Petri网理论在性能评价领域的应用进行了研究，介绍广义随机Petri网及其分析技术的基础上，探讨了如何利用GSPN对系统进行建模及性能分析。

Petri网建模仿真软件，不少人用此软件进行Petri网的研究，实现建模与仿真。

Petri网导论的扫描版电子书。Petri网是分布式系统的建模和分析工具，它特别便于描述系统中进程或部件的顺序，并发，冲突以及同步等关系。

PeterJ.Haas著StochasticPetriNetsModelling,Stability,Simulation

Petri网详细介绍与学习

：Stateflow是matlab环境下与simulink整合在一起的专门用来对复杂响应系统和事件驱动系统进行仿真的工具箱。应用其对Petri网模型进行仿真，提出了一种对Petrl中资源的分类方法，

西安电子科技大学Petri网教程，让你由浅入深对Petri网有全面的认识。