一类基于时间的Jade结构模型的研究.pdfVIP

一类基于时间的Jade 结构模型研究 方华 ，舒明磊* （上海应用技术学院计算机科学与信息工程学院 上海201418） 要 Petri 在对开放的和模型状态多变系统建模时存在困难，本文通过扩展一种可调整Petri 结构的模型来 描述系统中时延特性，同时给出其转换到一般的时延Petri 网模型算法。该模型基于时间对系统状态空间进行调 整，使之适用于系统开发特性和模型多变特性。最后通过建立一个加工工序时间Jade 结构模型来验证。 关键词 Petri 网、Jade 结构、建模、验证 中图法分类号 TP301.2 文献标示码 A Modeling by an Extended Jade Structure FANG Hua, SHU Minglei * (School of Computer Science Information Engineering ， Shanghai Institute of Technology ， Shanghai ， 20 1418) Abstract: Petri nets have been widely applied in the modeling of modern manufacturing systems, while modeling of open and flexible control system is difficult. To resolve the problems efficiently, this work designed an extended Jade structure based on M-space, and this structure was used to modeling and describing the characteristic of timed system. Based on the adj usting of time to system state space, this model was suitable for characteristics of open systems and changeable structure mode. Finally the structure was verified by a processing model. Keywords: Petri net， Jade structure ， modeling， verification 1 引言 Agent 技术的仿真组件模型。文献[8][11]通过PN 对系统状 Petri 网(Petri net ，PN)建模方法以其直观且简单地使用 态的基本信标进行建模和分析，并针对一种典型DEDS 系统 [1] 较小模型表达较大的系统运行空间 ，通过扩展系统模型， ——柔性制造系统(FMS)进行应用验证。又如文献[12]，同 增加 Petri 网某 属性，来使之符合更多领域应用，如网络 扩展PN 性能，来对实时的DEDS 进行建模和分析，并得到 [2] [3] [4] 协议与安全 ，多 Agent 系统 ，实时任务与性能分析 ， 较好效果。 [5] 规则描述 等。同时广泛应用于解决离散事件动态系统 以上研究，通过扩展 PN 模型，对 DEDS 系统进行建 (Discrete event dynamic syste