On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems

Failure detection in partially observable model based Discrete Event Systems requires modelling failures as unobservable events within the system. Representing failures as events is not always realistic. For example, some classes of failure are in form of violations of constraints such as Service Level Agreement (SLA) and Quality of Service (QoS). These forms of failures do not represent events by themselves. They have to be modelled as...