试验车辆都装备了制动防抱死系统（ABS），并且假定传感器的感知错误对于整个ABS的错误负主要责任。首先展示系统如歌用Petri网进行建模，说明共同组成的概念。之后展示基于Petri网的故障诊断和诊断分析如何在系统中工作。

Petri网事对离散并行系统的数字表示，适合于描述异步的、并发的系统模型，被认为是自动化理论的一种。典型的Petri网由四元组（库所、变迁、输入函数、输出函数）组成，其中库所表示系统的状态，变迁表示资源的消耗/使用及使系统状态产生的变化。

ABS是一种防止车轮制动时抱死的系统，整个系统由4个不同的ABS组成，每个车轮个1个，它们各自独立工作。通常情况下，有ABS的车制动时分为两种情况：正常制动时ABS系统不工作；极限工况时ABS系统提供液压缸压力以免车轮抱死。

提出的Petri网模型代表着ABS系统的行为及其与车轮制动条件的信息交互。该模型还包括传感器的行为，它将直接关系到ABS系统的工作和停止。假设传感器发生了错误，尤其是卡住错误，即传感器永久地只观察一个锁定的状态，这意味着ABS系统将会永远工作，即使车轮还没有抱死。通过这个模型可以把这种故障检测出来，并进行分析和处理。试验结果表明，即使传感器发生故障时，整个系统依然能够很快地做出调整。