基于Matlab环境的Petri网的仿真方法.pdfVIP

基于 Matlab 环境的 Petri 网的仿真方法 Matlab Environment Based Simulation of Petri Nets 陈江红 李宏光 Chen,Jianghong Li,Hongguang 摘要 该文介绍了佩特利网（Petri 网）和 Stateflow 的基本概念，给出 Petri 网在 Matlab 环境下的仿真方法，并以单水箱系统的混合 Petri 网模型为例进行说明，结合仿真结果对 Peri 网的性能进行了初步分析。 关键词 佩特利网；仿真；Stateflow 中图分类号：TP39 1.9 文献标识码：A Abstract This paper introduces basic conception for Petri nets and Stateflow. A Matlab environment based simulation method for Petri nets is given. The method is illustrated by an example of single water tank system. According to the simulation result, we discuss the performance of Petri nets. Key words petri nets; simulation; stateflow 1 引言 Petri 网的概念源于 1962 年 C. A. Petri 的博士论文 《用自动机通信》。经过三十多年的 发展，Petri 网理论已经成为具有严密数学模型，多抽象层次、多用途的通用网论，并逐渐 成为各相关学科的 “通用语言”。Petri 网作为一种图形化、数学化建模工具，能够提供一个 集成的建模、分析和控制环境，为系统的设计提供便利。针对 Petri 网模型，除了利用可达 树、可达图和状态方程等方法进行性能分析外，仿真分析也是一种有效工具。Matlab 5.1 版 中首次在 Simulink 建模环境中加入了 Stateflow 软件包，三者的无缝集成生成了一个交互图 形化动态系统建模环境，其仿真能力能够对离散，连续，条件执行，事件驱动，多速率，混 杂系统等进行分析，因而是研究 Petri 网的理想工具。本文给出了Petri 网和 Stateflow 的基 本概念与特性，并以单水箱系统为例，介绍在 Matlab 环境下 Petri 网的仿真方法。 2 Petri 网 2.1 Petri 网的概念 定义 一个已标识的 Petri 网是一个六元组： PN={P ，T，F ，K ，W ，M0 }，其中 P ＝｛P １，P ２，…Pｍ，｝，库所集， T ＝｛T １，T ２，…Tｍ，｝，变迁集， F ⊆ （P ×T ）∪ （T ×P ），弧集， ＋ K ：P→N ∪ ｛ω｝，库所容量函数， K （P ）＝ω表示P 的容量为无穷，N＋＝ ｛1，2，…｝， ＋ W ：F→N ，弧上权， M0 ：P→N ，初始标志，要求：P ∩T ＝，P ∪T≠ф， M ：P→N ，N ＝｛０，１，２，…｝，网的标识，且 ∀P ⊆P ，M （P ）≤K （P ），i ＝1，…m。 i i i （P ，T，F ）被称为 PN 的基网，记为N 。 Petri 网的图形表示就是一种有向图，它包括两类节点：库所 （用圆表示）和变迁 （用短 线表示）。弧用来表示流关系。Petri 网的状态由标识M来表示，在某一时刻的标识决定该PN 1 的状态。图 1 表示一个已