基于标签时间Petri网最小初始状态的实时系统初始资源配置

作者：王琛; 黎良; 刘斌

来源：控制理论与应用, 2023, 1-9.

• 离散事件系统
• 资源配置
• 时间Petri网
• 状态类图
• 状态估计

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

• 单位
  武汉科技大学