| 引用本文: | 王琛,黎良,刘斌.基于标签时间Petri网最小初始状态的实时系统初始资源配置[J].控制理论与应用,2024,41(11):2103~2111.[点击复制] |
| WANG Chen,LI Liang,LIU Bin.Initial resource allocation of real-time systems based on minimum initial states of labeled time Petri nets[J].Control Theory and Technology,2024,41(11):2103~2111.[点击复制] |
|
| 基于标签时间Petri网最小初始状态的实时系统初始资源配置 |
| Initial resource allocation of real-time systems based on minimum initial states of labeled time Petri nets |
| 摘要点击 135 全文点击 26 投稿时间：2022-11-01 修订日期：2024-02-25 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/CTA.2023.20968 |
| 2024,41(11):2103-2111 |
| 中文关键词 离散事件系统 资源配置 时间Petri网 状态类图 状态估计 |
| 英文关键词 discrete event system resource allocation time Petri net state class graph state estimation |
| 基金项目 湖北省自然科学基金项目(2021CFB036), 国家自然科学基金项目(62303359)资助. |
|
| 中文摘要 |
| 针对实时系统完成特定任务序列的最少初始资源配置问题, 本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法. 首先, 对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法, 以适用于标签时间Petri网的极小初始标识的计算. 其次, 介绍一种基于路径(即变迁序列)的修正状态类图(MSCG). 通过求解由路径MSCG的时间约束构建的线性规划问题, 判定与极小初始状态相关的变迁序列是否与给定的时间标签序列一致. 在此基础上, 求出与时间标签序列相一致的极小初始状态集, 并找出极小初始状态集中token总数最少的最小初始状态. 最后, 利用实例验证了所提方法的可行性和有效性. |
| 英文摘要 |
| To solve the problem of minimum initial resource allocation for completing a specific sequence of tasks in a real-time system, this paper proposes a method based on the minimum initial state estimation of labeled time Petri nets. By improving the minimal initial marking (MIM) estimation algorithm of a labeled Petri net, an algorithm for estimating the MIMs in a labeled time Petri net is presented. Then, a path (i.e., a transition sequence) modified state class graph (MSCG) is reported. By solving a set of linear programming problems associated with the timing constraints in the path MSCG, this paper determines which logic transition sequences associated with minimal initial states are consistent with the given time label sequence (TLS), so as to find the set of minimal initial states consistent with the TLS. Furthermore, the set of minimum initial states with the minimum total number of tokens is calculated. Finally, the feasibility and effectiveness of the proposed method are verified by an example. |
|
|
|
|
|