基于Petri网的建模技术A.pptVIP

上海交通大学信息系统实验室 基于Petri网的建模技术 Petri网观点可简单的归纳到两个基本概念: 事件和条件,许多系统均可从事件与条件的观点去建模； 事件是系统中的动作, 事件的出现是由系统状态控制的; 系统状态可描述为一组条件, 条件就是系统状态的谓词或逻辑描述; 前条件：由于事件是动作, 所以它可以发生。为了使事件发生, 必须使某些条件成立,这种条件称为事件的前条件; 后条件：事件的发生可能破坏前条件而使另外的条件成立, 这种条件称为事件的后条件。 Petri网的特点 从控制和管理的角度模拟系统, 不涉及系统所依赖的物理化学原理,这样可以简化某些细节, 易于理解。 精确描述系统中事件的依赖关系和不依赖关系,这是事件之间存在的、不依赖于观察的关系。 具有统一的语言描述系统结构和行为, 方便建模仿真,从而起到沟通不同子系统间桥梁的作用。 与顺序模型不同, Petri网系统比其他图形建模工具更适于描述并发和冲突。 利用Petri网建模具有以下优点。 (1) Petri网建立在严格的数学基础上，精确描述系统中事件的依赖关系和不依赖关系,这是事件之间存在的、不依赖于观察的关系，已有了许多成熟的分析方法和工具。 (2) 兼顾了严格语义与图形表示两方面，具有统一的语言描述系统结构和行为, 方便建模仿真,从而起到沟通不同子系统间桥梁的作用; (3) Petri网是一种基于状态