IEEE Transactions on Automatic Control（简称IEEE TAC）创刊于1956年，是IEEE控制系统学会的旗舰汇刊之一，致力于发表控制理论、设计与应用方面的高水平论文。IEEE TAC和国际自动控制联合会会刊Automatica被公认为国际控制与自动化领域的两大顶级期刊。

论文题目：Minimum Initial Marking Estimation in Labeled Petri Nets Using Minimum Token Number Prediction

共同第一作者：岳昊、许亚坤（2021级硕士研究生）

发表期刊：IEEE Transactions on Automatic Control

级别：T1华体会体育买球 （华东），SCI二区Top

论文概述：

Petri网作为离散事件系统的基础建模工具，广泛应用于监督控制、故障检测、状态估计等领域。其中，Petri网的初始标识估计是核心问题之一，而最小初始标识特指能够触发与观测标签序列一致的变迁序列，且总托肯数最少的初始标识，其研究对于生产制造系统资源配置和移动机器人环境监测等实际应用场景具有重要价值。最新研究现状指出，亟需开发兼顾“完整最小初始标识集的获取”与“计算效率提升”的新方法。本文提出了“标签合成网”新概念，并设计了“先预测、后计算”的两阶段算法框架，旨在解决带标记Petri网的最小初始标识估计问题，有助于为离散事件系统的资源优化配置与状态分析提供高效解决方案。