基于LTL和PETRI网的模型检测方法

Petri网仿真工具PiPE3.0版本，java语言开发。适合从事Petri网的科学研究工作者。

不错的Petri网分析工具,petri网画图计算科研好助手

Petri network verification protocol

petri网的分析工具（1）包括pipe25，pipe运行时需要配置JDK环境，大家自己网上搜下，配置下环境变量就可以用了。（2）petrinets但这个是试用版的，要收费的。希望对大家有所帮助。

是petri网课件，根据书《Petri网原理与应用》（袁崇义　著）（　电子工业出版社）而做的　

随机Petri网分析工具，图形化界面，可对Petri网建模分析等

这份PPT资料全面阐述了PETRI网建模理论基础，深入浅出地讲解了PETRI网的结构、属性、分析方法等核心概念。

为将Petri网理论更好地应用于配电网故障诊断中,基于Petri网现有研究,依据配电网运行特点及拓扑结构,提出了基于FTU故障信息的Petri网建模方法。首先,采取依据SCADA系统所汇集的FTU信息

已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑，比较耗时，不适合应用在复杂的柔性制造系统中。为此提出了一种新的混惑检测算法，根据混惑的基本结构特征，首先排除一些从结构上就不可能构成混惑

国内最好的关于随机petri网的书。随机petri网在系统评价、业务流程再造和分析、供应链等方面有很多的应用