使用拉伸法设计时间petri网避免死锁控制器.ppt

第三部分 避免死锁监督控制器设计的方法 运算步骤：七、确定OPN控制器 第三部分 避免死锁监督控制器设计的方法 第四部分 Petri网学习推荐 一、书目及文章： 《petri网导论》，吴哲辉； Workflow Management： Models， Methods and Systems》， Wilvander Aalst； 《Petri Nets: Properties, Analysis and Application》，Tadao Murata，IEEE invited paper。 二、软件： PIPE，开源软件，sourceforge有下载。可以方便的生成邻接矩阵。但是当网稍大的时候，就无法绘制可达图。优点是容易上手。 WoPeD，这个专门针对WF_nets进行绘制的。可以方便的绘制可达图，支持模，支持判断完备性，活性等。 CPN，绘制着色petri网的强大工具，有自己的一套描述语言。 INA、MATLAB等等. 第四部分 Petri网学习推荐 三、网站： rmatik.uni-hamburg.de/TGI/PetriNets/ 第四部分 Petri网学习推荐 第四部分 Petri网学习推荐 谢谢大家！ Deadlock Avoidance Controller Design for Timed Petri Nets Us