李雅琼, 黎良. 部分可观标签时间Petri网的最小代价变迁序列估计[J]. 信息与控制, 2024, 53(3): 377-387. DOI: 10.13976/j.cnki.xk.2024.3101
引用本文: 李雅琼, 黎良. 部分可观标签时间Petri网的最小代价变迁序列估计[J]. 信息与控制, 2024, 53(3): 377-387. DOI: 10.13976/j.cnki.xk.2024.3101
LI Yaqiong, LI Liang. Least-cost Transition Sequence Estimation in Partially Observable Labeled Time Petri Nets[J]. INFORMATION AND CONTROL, 2024, 53(3): 377-387. DOI: 10.13976/j.cnki.xk.2024.3101
Citation: LI Yaqiong, LI Liang. Least-cost Transition Sequence Estimation in Partially Observable Labeled Time Petri Nets[J]. INFORMATION AND CONTROL, 2024, 53(3): 377-387. DOI: 10.13976/j.cnki.xk.2024.3101

部分可观标签时间Petri网的最小代价变迁序列估计

Least-cost Transition Sequence Estimation in Partially Observable Labeled Time Petri Nets

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

     

    Abstract: Aiming at the problem of planning sequences in automated manufacturing systems, this study proposes an approach to solve the least-cost transition sequence estimation problem in a partially observable labeled time Petri net (LTPN). In particular, the considered LTPN is bounded, where each transition has a nonnegative cost. Based on time-label sequences (TLS), we first introduce a graph called observed-modified state class graph (OSCG) that represents the partial state space of an LTPN system. Then, all transition sequences logically consistent with the observed TLS can be found in the OSCG. By exploiting the transition-related timing constraints in an OSCG, we propose a procedure for determining which logic-consistent transition sequences are timing consistent with the observed TLS. Then, we develop an algorithm for estimating the least-cost transition sequences. Finally, the effectiveness of the proposed method is verified using an experimental example.

     

/

返回文章
返回