petri网论文

以普通Petri网和模糊Petri网为基础，给出了感觉神经Petri网的模型和基本定义，并讨论了其在知识表示中的应用问题。

在Petri网的验证中，代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统，提出了自动生成不变式的算法，该不变式有助于更好地分析Petri网可达空间。算法首先将Petri网的不变式假定为

Petri网详细介绍与学习

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

jpetrinet,基于java编写的petri网建模的工具希望对大家有所帮助~

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

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

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

袁崇义教授经典之作，第二版，电子工业出版社2005年

2009年petri网年会资料,主要介绍最新进展及其研究成果,大会论文交流!