petri网课件第1章.pdf

第一章 网和网系统 •研究对象 系统的组织结构、动态行为 系统中可能发生的各种变化、变化之 间的关系。变化— 变迁 （T元素） 变化发生的条件及发生后对系统状 态的影响 •变化的外延 变化所直接涉及的一切与系统状态有关的 因素 （二方面：变化前及变化后）— 资源 （如：产品、信息） •状态元素 存放同一类资源的地方抽象为一个状态元 素。资源有消耗，使用及产生。状态元 素 — 库所 （S元素）：表示状态元素改变 第一节 实例 一、四季系统 变迁 t1 (变化） t2 •春暖花开 赤日炎炎 秋风落叶 库所 s2 s3 s1 (状态） t3 t4 寒风刺骨 春暖花开 s4 s1 变迁t1发生的前提：s1成真s2成假 描述了 t1 变迁t1发生的结果：s1成假s2成真 库所：存放信息 （例如s1是否春天） 有信息，条件为真；无信息，条件 为假— — 二种状态 条件 变迁：相应的变迁 事件 •真1，假0 四维向量 4个s （条件）的状态 （0，0，0，1）表示s4成真，其他均 为假 （0，0，0，1）表示四季系统的状态 为冬天 •S={s1, s2, s3, s4} T={t1, t2, t3, t4} t1 s1 s2 (s1, t1)及(t1, s2) F={s1, t1), (t1, s2), (s2, t2), (t2, s3), (s3, t3), (t3, s4), (s4, t4), (t4, s1)} •缺少系统当前状态 （初始状态） M = （0，0，0，1）— — 表示冬季 0 = （S，T ；F，M ） 0 图 示 S— 圆圈 t— 方框 M — 圆圈中加黑点 0 （托肯token ） 如：(0, 0, 0, 1)表示在s4 中有一个黑点 F— 有向弧，称为流关系 Petri网的网图表示十分清晰，由此得名。 •结论：托肯在图中流动，意味着系统整 个状态的变化 这里托肯是信息，状态变化是信息变 化；下面一个例子说明实物流动。 二、生产流水线 t1: 半成品s1 部件s2 半成s4