信息与控制

作者：李雅琼, 黎良

关键词：离散事件系统, Petri网, 变迁序列, 状态类图

针对自动制造系统的计划序列问题, 研究了一种部分可观标签时间Petri网的最小代价变迁序列估计方法。所考虑的标签时间Petri网是有界的, 且每个变迁都有一个非负代价。首先, 提出了一种基于时间标签序列(time-label sequence, TLS) 的观测-修正状态类图(observed-modifiedstate class graph, OSCG), 其代表标签时间Petri网系统的部分状态空间。在OSCG中, 搜索出所有与TLS逻辑一致的变迁序列。其次, 通过利用OSCG中与逻辑一致的变迁序列相关的时间约束, 提出了一种基于线性规划的方法以判定与TLS时间一致的变迁序列, 进而求出最小代价的变迁序列。最后, 通过一个实例验证了本文所提方法的有效性。

来源：2024年第3期

《信息与控制》期刊编辑部

查看信息与控制杂志2024年第3期