一句话：提出一种基于Petri网的行为等价性检查方法，用于检测PLC软件升级中引入的错误。
大多数自动化工程工具和平台属于遗留软件，供应商需升级硬件和相关软件以满足用户需求。然而，这些变更可能引入代码错误，带来安全风险。在严格的工业安全要求下，检测此类缺陷至关重要。本文提出了一种新颖的基于Petri网的行为等价性检查方法，用于在软件升级过程中检测错误。该方法通过行为等价性检查来发现软件缺陷，为PLC代码升级提供了一种形式化验证途径。摘要未提及具体评估结果。
Most automation engineering tools and platforms are old and are considered legacy software. However, vendors want to upgrade the hardware and relevant software of existing tools and platforms to meet end-user requirements. These changes can potentially introduce code errors, posing a safety risk. Detecting the introduction of such defects in line with strict industry safety requirements is crucial. Behavioural verification using equivalence checking is one of the techniques that can be used to detect software bugs. In this paper, we present a novel Petri net-based behavioral equivalence checking method to detect errors during software upgrades.