PETRI网建模理论基础资料讲解.pptVIP

逻辑关系图：冲突（互斥）\冲撞关系 冲突的实质是竞争资源。 冲突就是指这种两者都有发生权，但在同一时刻只能有一个发 生的关系。 冲突双方谁先发生由系统实际运行环境及状态决定，即谁有优 先权是不确定的。 冲突又称为选择（choice）或不确定（nondeterminism）， 是对系统性能影响最大的事件类型。 5.2.5 有界性 是一个非常重要的特性,它保证系统在运行过程中不会需要无限的资源. 有界性反映一个库所在系统运行过程中能够获得的最大的令牌数,即所能获得的最大资源数,它与系统的初始令牌有关. 在实际系统设计中,必须使网络中的每个库所在任何状态下的令牌数小于库所的容量,这样才能保证系统的正常运行。 5.2.6 安全性 （是否会溢出） 决定系统中正在执行的操作不会发出请求.若Petri网为1有界,则称此Petri网是安全的.这种网的每一个库所 要么有一个令牌,要么 没有令牌.安全性是有 界性的一种特殊情况 . 5.2.7 可逆性和回家状态（主宿状态） 在制造业系统和过程控制系统中存在着一个重要的问题：错误复原，即系统能否重新回到原来状态(保证系统的循环特性)。 可逆——系统可自生初始化 主宿（回家）——系统经过有限步骤，将回到期望状态 5.2.8 守恒性 在一个Petri网系统中,令牌被用来描述系统资源,对这类Petri网,守恒性是一个重要性质,要使代表资源的令牌在Petri网运行中既不会增加也不会减少,最简单的方法就是网中总令牌数保持恒定. Petri网性能分析： 覆盖树（Coverability tree）——可达图 不变量（Invariation） 1、标识向量m 初始标识m0=(1 1 0 0 0)T 标识m1=(0 0 1 0 0) T m2=(0 0 0 1 1) T 覆盖树性能分析法 覆盖的数学定义： 分析步骤 1、m0作为“树根”（可作上new记号） 2、对有new记号的标识m做以下事情，否则终止； 3、选择某一“new”标识m； （1）若m与树中间已有的其他标识m相同，则将其记为“old”，转向其他“new”标识； （2）若在m下无变迁使能，则将m记为“dead end”； 4、对于m下有使能的所有变迁t，做以下事情： （1）激发t，产生标识m’； （2）若从树根至m’的路径上存在一标识m’’,使得m’覆盖m’’，但m’’ 不等于m’（m’m’’）,则对于那些使m’(p)m’’(p)成立的p：用ω取代m’(p); （3）以m’为一节点，从m到m’画一有向线，将其记为t，并将m’记为“new” 5、除去m的“new”标志，回到步骤2 举例：建立覆盖树 基本性能分析 当且仅当树中所有节点上均不出现ω时，PN网是有界的；（可以在树中找出所有库所中最大的托肯数K，称为PN是K有界的） 当且仅当树中所有的节点上仅包含0或1时，则PN网是安全的。否则没有记为ω的库所是安全的。 在不包含ω的树中，若给定任何2个节点之间，都存在一有向路径，在该路径上所有变迁都出现，则PN是活的。(包含ω的树无法确定活性) 在不包含ω的树中，若从任何节点到根节点之间都存在一有向路径，则PN是可逆的。(包含ω的树无法确定活性) 建模工具与仿真工具的区别 建模：结构健壮性 逻辑合理性 编程流程图\结构材料剪应力、拉伸力校核\Petri net，活动周期法等 仿真：系统重现 效果优化 JAVA ,C#,C++\UG，CAD动态效果\Arena，flexsim等 作业：写出下面作业流程Petri网的覆盖树，并评价该流程性能如何。（参照前例） Petri网类型 基本Petri网：每个库所容量为1，这样库所可称为条件，变迁可称为事件。故又称为条件/事件系统 C/E 低级Petri网：库所容量和权重为=1的任意整数，称为库所/变迁网。简作P/T网 定时Petri网：将各事件的持续时长标在库所旁边，库所中新产生的标记经过一须时间后才加入到网中，或是标在变迁上，经过时间延迟后发生。 高级Petri网：谓词/事件网、染色网、随机网等 Petri网（Petri net） 作业：撰写一篇本课程论文 要求： （1）11周上交，A4纸论文打印稿和电子稿。 （2）论文方向：生产、制造领域，或商业服务领域是如何应用仿真建模等技术的。（要有自己的观点） （3）题目自拟。论文页数不少于5页。 （4）可以上网查阅资料、文献、书籍，但不许抄袭，如果发现抄袭平时成绩0分。 论文格式 必须包括： 题目（宋体，小二，加粗） 姓名、学号（宋体，小四） 摘要（宋体，小四） 引言（宋体，小四） 正文（宋体，小四） 结论（宋体，小四） 参考文献