PETRI网的 好教材。部分内容讲解的比袁崇义老师的更详细。但是没有袁老师的深奥

Petri网是一种系统设计和分析的工具，为了完成Petri网的各项分析，还需要借助如可达树，可大图等工具。

Petri网分析工具PIPE,用于描述petri网的结构和建模仿真。

时间Petri网的仿真工具，自己用着感觉对于初学者已经够用

PIPE 是Platform Independent Petri Net Editor的缩写， 下载到JRE，并设置好PATH后运行PIPE软件包中的pipe.bat（Windows下，Linux下的启动程序是pipe.sh）文件就可以打开操作界面了

PIPE2 V3.0已经出来了，不过没这个版本成熟，用户较少。推荐此版本。

基于Petri网和Web服务的纺织企业应用集成模型.pdf

Web服务组合构建与执行的Petri网平台研究.pdf

隐变迁是指一些存在于过程模型中,但没有出现在日志序列中的变迁。这样的变迁会大量存在于现实的模型中。从事件日志中寻找挖掘隐变迁的方法是过程挖掘技术的一个重要的难题。目前针对自由选择网有一些解决办法,但是对于复杂的过程模型有一定的局限性。本文提出了基于Petri网行为轮廓寻找隐变迁的方法。首先根据发生频率最高日志序列得出源模型,再根据剩余的日志序列一步步优化源模型从而找到隐变迁,最后通过评价指标来判定模型的合理性。

供混杂系统建模使用，在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.