This work is concerned with a structural characterization of the diagnosability property in Timed Continuous Petri Nets (TCPNs) systems under infinite server semantics. Regarding this problem, three novel results are presented. The first one is the introduction of structural sufficient conditions for diagnosability in TCPNs, which are based on the concepts of relative degree, system distinguishability, and parameter identification. To this aim, the concept of a simple directed path from other works is extended to diagnosable directed paths. These new paths include attribution-places, pre-join-places and post-join-places, which allows to deal with multiple non-concurrent tokens-leak faults, and enlarging the class of systems that can be analyzed. Based on these structural conditions, a novel methodology to place a reduced number of sensors that guarantees the net diagnosability is proposed. Finally, a diagnoser based on a modified Differential Evolution algorithm is presented, which introduces individual searching sets in orthogonal spaces to diagnose (detect, locate, and identify) faults when an error is detected, avoiding the use of a bank of diagnosers of other approaches. The effectiveness and applicability of the main results are illustrated through an illustrative example.

这项工作涉及无限服务器语义下定时连续 Petri 网 (TCPN) 系统中可诊断性的结构特征。关于这个问题，提出了三个新的结果。第一个是在TCPNs中引入可诊断性的结构充分条件，它基于相对度、系统可区分性和参数识别的概念。为此，来自其他作品的简单有向路径的概念被扩展到可诊断的有向路径。这些新路径包括attribution-places、pre-join-places和post-join-places，它们允许处理多个非并发令牌泄漏故障，并扩大可分析的系统类别。基于这些结构条件，提出了一种减少传感器数量以保证网络可诊断性的新方法。最后，提出了一种基于改进差分进化算法的诊断器，它在正交空间中引入了单独的搜索集，以在检测到错误时诊断（检测、定位和识别）故障，避免使用其他方法的诊断器库. 通过示例说明主要结果的有效性和适用性。