控制理论与应用

作者：王琛,黎良,刘斌

单位：武汉科技大学,武汉科技大学,武汉科技大学

关键词：离散事件系统; 资源配置; 时间Petri网; 状态类图; 状态估计

基金：湖北省自然科学基金项目(2021CFB036), 国家自然科学基金项目(62303359)资助.

针对实时系统完成特定任务序列的最少初始资源配置问题, 本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法. 首先, 对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法, 以适用于标签时间Petri网的极小初始标识的计算. 其次, 介绍一种基于路径(即变迁序列)的修正状态类图(MSCG). 通过求解由路径MSCG的时间约束构建的线性规划问题, 判定与极小初始状态相关的变迁序列是否与给定的时间标签序列一致. 在此基础上, 求出与时间标签序列相一致的极小初始状态集, 并找出极小初始状态集中token总数最少的最小初始状态. 最后, 利用实例验证了所提方法的可行性和有效性.

来源：2024年第11期

《控制理论与应用》期刊编辑部

查看控制理论与应用杂志2024年第11期