In this paper, distributed detection of process failures is studied. Erroneous evolutions, corresponding to failure situations, are described by chronicles. Every chronicle is composed of a set of events, and of a set of time constraints between these events. A chronicle can be decomposed into sub-chronicles distributed into several monitoring sites (systems). The objective of a monitoring site is to recognize a sub-chronicle. A specific reasoning considering relative time between event occurrences is proposed to provide time consistency of the mechanisms set Combining t-time Petri nets and p-time Petri nets, p-t-time Petri nets are used to represent these chronicles. When the Petri net reaches a particular state, a sub-chronicle is recognized. A symptom is detected when all the sub-chronicles associated to the initial chronicle have been recognized.
[1]
Marc Boyer.
Contribution à la modélisation des systèmes à temps contraint et application au multimédia
,
2001
.
[2]
Malik Ghallab,et al.
Suivi et reconnaissance de chroniques
,
1994
.
[3]
David M. Dilts,et al.
The evolution of control architectures for automated manufacturing systems
,
1991
.
[4]
Philip Meir Merlin,et al.
A study of the recoverability of computing systems.
,
1974
.
[5]
Abdelhakim Khatab,et al.
Supervision and Monitoring of Production Systems
,
2000
.
[6]
N. A. Duffie.
Heterarchical control of highly distributed manufacturing systems
,
1996
.