计算机工程

作者：徐淑琳, 周广瑞, 岳昊

单位：1. 青岛大学 自动化学院, 山东 青岛 266071;2. 青岛大学 复杂性科学研究所, 山东 青岛 266071

关键词：离散事件系统,初始标识估计,Petri网,不可观测变迁,动态规划

基金：国家自然科学基金（61402216，61673228）。

为获得制造系统初始化时的最小资源以实现最优资源分配，利用标注Petri网对系统进行建模，并研究标注Petri网的最小初始标识估计问题。给定一个标注Petri网，在不可观测变迁组成无环子网的情况下，基于动态规划提出一种新的最小初始标识估计算法。在观察到给定的标注序列后，放宽不可观测变迁发生个数的限制，并根据该算法构建节点的演化过程。当出现相同的发生数向量时，仅保留当前极小的初始标识估计，并通过节点的演化过程对极小初始标识估计的托肯总数进行对比。为验证算法的有效性，给出一个制造系统的标注Petri网模型实例，最终得到的最小初始标识为［1000］T，且对应的变迁发生序列为t1t3t4t6，满足给定标注Petri网的结构要求。实验结果表明，与传统基于动态规划的算法相比，该算法获得的最小初始标识估计具有更小的托肯总数。

来源：2021年第4期

《计算机工程》期刊编辑部

查看计算机工程杂志2021年第4期