pipe相关操作.doc

简单说明pipe的一些相关操作，包括petrinet绘制，token量控制，仿真运行，广义随机分析，状态空间分析，虹吸与陷阱分析，不变量等。