混杂受控Petri网的建模和分析.pdfVIP

第28卷增刊 信息与控制 V01．Z8，Supplcment andControl 1999年8月 Information Aug·1999 混杂受控Petri网的建模与分析 孙鑫孙优贤 (浙江大学工业控制技术研究所抗州310027) 摘要本文在研究混杂受控Petri网(ctlmN)的基础上，对其进行了离散化得到扩展时间 Petri(ETPN)，将Petri河分析的矩阵理论引入到高散化后的混杂受控Petr／网中．在矩阵方程 中加入了控制位置．对从矩阵理论研究混杂受控Petri网提出了一种新的方法． ． 关键讯混杂受控Petri网，可达性 1引言 离散事件动态系统(DEDS)是指由离散事件触发而引起状态迁移的一类自然或人造的动 态系统[u．对其建模一般可分为逻辑层次，时间层次，统计性能三个层次．而在连续变量动态系 统(CVDS)的研究中逐渐发展起来的用微分或差分方程描述的方法在DEDS中已经不再适用 了．混杂动态系统(HDS)具有连续时间状态和离散事件状态的两重特性．在化工、食品等流程 工业中，大量存在着间歇／半连续的生产过程．混杂系统按其。离散”的“连续”部分的耦合程度 和方式可I}1分为两大类．一类系统称为关系型或紧耦合．别一类是P．J．Ramadge和L．E．Hol— loway等人研究的层次型或松耦合，它的连续过程和离散事件过程大体可以分开，通过一个接 口互相耦合．本文所研究的是包含DEDS和CVDS的层次型混杂动态系统． Petri网理论对生产系统中出现的并发、异步、冲突等复禁情况的描述比．Ramadge和 Wonham提出的自动机模型有很强的优越性．在Petri网的研究中为了增强其在应用时的描 究，并把RW理论应用到受控Petri网中．用受控Petri网为DES建模的主要目的，是研究如 何对DES进行控制，以使它的动态行为能够服从给定的要求和约束，这是DES控制中的一个 重要问题rz3．文献[43介绍了广义受控Petri冈的一般方法． 2受控Petri网 定义1 受控Petri网(ctlPN)是5元组G=(P，T，E，C，B)，其中： place)节点的有限集合} P；(Pl，P∥“，P。)(no)是位置(State T一个U 集|T”为不可控变迁集}P，T满足PNT=m且PUT≠垂 E∈(P×T)U(TXP)是连接位置与变迁的有向弧集 C是控制位置有限集 BC(CXT)是连接控制位置与变迁的有向弧集 混杂系统中含有连续时间变量，因而在受控Petri网中引入连续变量，将其扩展为受控混 信息与控制 28卷 杂Petri网． 定义2受控混杂Petri网(CtlHPN)是9元组G一(P，T，E，C，B，K，V，D，Uo) 其中P．T，E，C，B五项与受控Petri网的定义相同 v是连续变迁流速集，存在一一对应关系：占v：T‘一V D是延时集合。存在一一对应关系：岛：PUT—D 在一个受控速度的连续Petri网中，每一个tj∈T在任意时刻t以速度Vj(t)激发，而Vj (t)直接依赖于外部控制作用和t时刻的标记M(t)． K是权值集合，存在一一对应关系：酞：E—K U。为初始状态． 定义3可达的 ， 如果标识p’可以从到达，那么就存在着一个变迁节引发序列o，它将把标识肛变为p’，这 - 说明，非负整数向量f(口)是矩阵方程 ， 一=p+x·D (1) 的一个解，因此如果∥可以从p到迭，则方程(1)存在着非负整数解