使用拉伸法设计时间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 Using Stretching 使用拉伸法设计时间petri网避免死锁控制器 XXXX （IEEE SYSTEMS JOURNAL, VOL. 2, NO. 2, JUNE 2008） 作者介绍 简 介 Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching TPN模型 拉伸petri网 避免死锁的监督控制器的设计 例 证 结 论 附 录（算法步骤） 本文解决的主要问题： 针对大规模复杂系统建模比较困难的问题，创造性地提出在使用时间petri网建模时，通过拉伸的方法，简化设计避免死锁控制器的计算，并通过实例验证了方法的正确性。 优点：简化了算法。拉伸法也可用于活性、有界性、分权控制器的设计，在TPN的结构分析和处理中有广泛运用。 缺点：是一种在线系统死锁避免，不适用于实时性要求较强的系统。 文中涉及基础知识简介（是什么） 造成死锁的原因及处理策略（为什么） 避免死锁监督控制器设计的方法（怎么办） 主要汇报内容 学习工具介绍 第一部分 基础知识简介 Petri网是对离散并行系统的数学表示。Petri网是1960年代由卡尔·A·佩特里发明的，Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。 一个经典的Petri网由四元组（库所，变迁，输入函数，输出函数）组成。任何图都可以映射到这样一个四元组上，反之亦然。 高级petri网：o 令牌着色o 时间o 层次化o 时序 第一部分 基础知识简介 传统的Petri网： Petri网有place（库所）和transition（变迁）组成。place用于容纳token，token用以表示具体的案例，通过transition的firing（实施）来表现过程的状态转变。理解几个概念： （1）transition enabled（变迁的就绪）：当且进当transition的每一个输入place都至少有一个token的时候，变迁就绪，可以实施。 （2）transition firing（变迁的实施）：变迁从每个输入place取走一个token，并往它的每个输出place增加一个token。 第一部分 基础知识简介 经典的Petri网是简单的过程模型，由两种节点：库所和变迁，有向弧，以及令牌等元素组成的。 第一部分 基础知识简介 Petri网的元素： + 库所（Place）圆形节点 + 变迁（Transition）方形节点 + 有向弧（Connection）是库所和变迁之间的有向弧 + 令牌（Token）是库所中的动态对象，可以从一个库所移动到另一个库所。 第一部分 基础知识简介 规则： + 有向弧是有方向的 + 两个库所或变迁之间不允许有弧 + 库所可以拥有任意数量的令牌 +如果一个变迁的每个输入库所（input place）都拥有令牌，该变迁即为被允许(enable)。一个变迁被允许时，变迁将发生(fire)，输入库所(input place)的令牌被消耗，同时为输出库所(output place)产生令牌