Online monitoring for diagnosis of violations of constraints in Petri net models

Fault diagnosis in partially-observed discrete-event systems requires modelling faults as unobservable events within the system. Representing faults as events is not always realistic. For example, some classes of fault are in form of violations of constraints such as service-level agreement (SLA) and Quality of Service (QoS). To model such faults, we need to modify the plant model which is not always acceptable. Firstly, this may make the models...