信息系统分析和设计.PDFVIP

信息系统分析与设计信息系统分析与设计 Lecture 3 基于基于PetriPetri网的建模技术网的建模技术 蔡鸿明 hmcai@sjtu.edu.cn 上海交通大学软件学院信息系统技术实验室 agendaagenda 11. PetriPetri NetNet概述概述 2. 经典Petri Net 3. 高阶Petri网 44. PetriPetri网建模过程网建模过程 5. 一个物流系统建模实例 6. 小结 上海交通大学信息系统实验室 2 11 Petri NetPetri Net概述概述 • 经典的Petri net是由Carl Adam Petri在1962年的博士论文 Communication with Automata 中提出的。 • 是离散事件动态系统（Discrete Event Dynamic System, DEDS ）的描述工具，可描述异步、同步、并行逻辑关系， 是描述是描述、分析和控制分析和控制DEDS的最有效和应用最广泛的方法的最有效和应用最广泛的方法； • 大量研究(10.000 publications) ，至1985年，它主要被用于 理论界理论界 ；；自从自从8080年中期后年中期后 ，实际的应用越来越多实际的应用越来越多 ，这主要这主要 是由于引入高阶Petri nets和许多工具； •• 最早是应用于计算机信息处理最早是应用于计算机信息处理、然后工程方面然后工程方面 （（自动制造自动制造 系统）、目前在计算机、自动化、通信、交通、电力与电 子子、、服务与制造都得到广泛应用服务与制造都得到广泛应用。。 上海交通大学信息系统实验室 3 Petri网观点可简单的归纳到两个基本概念 • 事件和条件,许多系统均可从事件与条件的观点去建模； • 事件是系统中的动作, 事件的出现是由系统状态控制的;  • 系统状态可描述为一组条件, 条件就是系统状态的谓词或 逻辑描述;  • 前条件 ：由于事件是动作, 所以它可以发生。为了使事件 发生发生, 必须使某些条件成立必须使某些条件成立,这种条件称为事件的前条件这种条件称为事件的前条件;  • 后条件 ：事件的发生可能破坏前条件而使另外的条件成 立立, 这种条件称为事件的后条件这种条件称为事件的后条件。 上海交通大学信息系统实验室 4 • 因此状态状态 （一组条件）和转移转移 （事件）是Petri nets 的最基本单单元。 • 基本Petri网包含库所（状态）、转移、以及它们的 关系关系。。 • 高阶高阶PPettrii netts 是对是对PPettrii netts的扩展的扩展 ： – 颜色 (for the modelling of attributes) – 时间时间 (for performance analysis) – 层次 (for the structuring of models, DFDs) 上海交通大学信息系统实验室 5 Petri网的特点 • 从控制和管理的角度模拟系统, 不涉及系统所依赖 的物理化学学原理,这样这样可以简化某些细细节, 易于理 解。 • 精确描述系统中事件的依赖关系和不依赖关系,这 是事件之间存在的、不依赖于观察的关系。 • 具有统一的语言描述系统结构和行为, 方便建模及 仿真仿真,,从而起到沟通不同子系统间桥梁的作用从而起到沟通不同子系统间桥梁的作用。。 • 与顺序模型不同,