基于标签时间Petri网最小初始状态的实时系统初始资源配置OA北大核心CSTPCD
针对实时系统完成特定任务序列的最少初始资源配置问题,本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法.首先,对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法,以适用于标签时间Petri网的极小初始标识的计算.其次,介绍一种基于路径(即变迁序列)的修正状态类图(MSCG).通过求解由路径MSCG的时间约束构建的线性规划问题,判定与极小初始状态相关的变迁序列是否与给定的时间标签序列一致.在此基础上,求出与时间标签序列相一致的极小初始状态集,并找出极小初始状态集中token总数最少的最小初始状态.最后,利用实例验证了所提方法的可行性和有效性.
王琛;黎良;刘斌;
武汉科技大学信息科学与工程学院,湖北武汉430081
计算机与自动化
离散事件系统资源配置时间Petri网状态类图状态估计
《控制理论与应用》 2024 (011)
P.2103-2111 / 9
湖北省自然科学基金项目(2021CFB036);国家自然科学基金项目(62303359)资助.
评论