Condition-based maintenance using dynamic decisions by Petri nets and Dempster

Abstract

This paper provides a novel method for job and resource dispatching for condition-based maintenance using free-choice Petri nets (PNs) and Dempster—Shafer (DS) evidence theory. In free-choice PNs (also called free-choice multi re-entrant flow-lines — FMRF), a choice exists for the tasks to be performed. Hence decisions have to be made in real time. In case of unreliable sensors in the system, there is uncertainty in decision making. This uncertainty is modelled in this paper using the DS theory of combination, which is used to decide which path to take in the event of choice decisions in the Petri net. The computations required in DS theory are difficult to perform because of the many required summations over set inclusions and intersections. Therefore, a new matrix formulation is given herein for efficiently combining evidence and finding belief, plausibility and other quantities in DS theory. This, coupled with a previously developed matrix formulation for PNs, makes it straightforward to implement the decision framework as a discrete event controller using computer software. Examples are given showing how to apply the matrix formulation for decision making in intelligent diagnostics.

Keywords

condition-based maintenance Dempster—Shafer theory evidence theory matrix approach Petri nets.

Get full access to this article

View all access options for this article.

References

Ballal, P. , Lewis, F. , Mireles, J. and Sreenath, K. 2007: Deadlock avoidance for free choice multi-reentrant flow lines: critical siphons and critical subsystems. Proceedings of the Mediterranean Conference on Control & Automation . Athens.

Baccelli, F. , Foss, S. and Gaujal, B. 1996: Free-choice Petri nets-an algebraic approach . IEEE Transactions on Automatic Control 41, 1751-78.

Bengtsson, M. 2004: Condition based maintenance system technology - where is development heading? Proceedings of the 17th European Maintenance Congress, AMS (Spanish Maintenance Society), Barcelona, B-19.580.

Cardoso, J. , Valette, R. and Dubois, P. 1999: Possibilistic Petri nets. IEEE Transactions on Systems , Man and Cybernetics, Part B: Cybernetics 29, 573-82.

Davey, A. , Grosvenor, R. , Morgan, P. and Prickett, P. 1996: Petri-net based machine tool failure diagnostics. In Rao, R.B.K.N , editor. Condition monitoring and diagnostic engineering management. Sheffield Academic Press , 722-23.

Desel, J. and Esparza, J. 1995: Free choice petri nets. Cambridge Tracts in Theoretical Computer Science. Volume 40, Cambridge University Press .

Dempster, A. 1967: Upper and lower probabilities induced by a multiple valued mapping . Annals of Mathematical Statistics 38, 325-39.

Dempster, A. 1968: A generalization of Bayesian inference . Journal of the Royal Statistical Society B 30, 205-47.

Gurel, A. , Bogdan, S. and Lewis, F. 2000: Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines . IEEE Transactions on Automatic Control 45, 2086-90.

10.

Mireles, J. , Lewis, F. and Gurel, A. 2002: Implementation of a deadlock avoidance policy for multipart reentrant flow lines using a matrix-based discrete event controller . Proceedings of the International Symposium on Advances in Robot Dynamics and Control. New Orleans.

11.

Murata, T. 1989: Petri nets: properties, analysis and applications . Proceedings of the IEEE 77, 541-80.

12.

Peterson, J.L. 1981: Petri net theory and the modeling of systems. Prentice-Hall .

13.

Shafer, G. 1974: Allocation of probability: a theory of partial belief. PhD thesis, Princeton University .

14.

Shafer, G. 1976: A mathematical theory of evidence. Princeton University Press .

15.

Smets, P. 1998: The transferable belief model for quantified belief representation . In Gabbay, D.M. and Smets, P. , editors. Handbook of defeasible reasoning and uncertainty management systems. 1 Kluwer , 267-301.

16.

Smets, P. 2002a: Decision making in a context where uncertainty is represented by belief functions. In Srivastava, R.P. and Mock, T. , editors. Belief functions in business decisions. Physica-Verlag , 17-61.

17.

Smets, P. 2002b: The application of the matrix calculus to belief functions . International Journal of Approximate Reasoning 31, 1-30.

18.

Smets, P. 2005: Decision making in the TBM: the necessity of the pignistic transformation . International Journal of Approximate Reasoning 38, 133-47.

19.

Takata, S. , Kimura, F. , Houten, F. , Westkamper, E. , Shpitalni, M. , Ceglarek, D. and Lee, J. 2004: Maintenance changing role in life cycle management . Annals of the CIRP 53, 643-55.

20.

Vachtsevanos, G. 2006: Intelligent fault diagnosis and prognosis for engineering systems. Wiley .

21.

Williams, J.H. , Davies, A. and Drake, P.R. 1992: Condition-based maintenance and machine diagnostics. Chapman & Hall .

22.

Yang, B. , Jeong, S. , Oh, Y. and Tan, A. 2004: Case-based reasoning system with Petri nets for induction motor fault diagnosis . Expert Systems with Applications 27, 301-11.

23.

Yang, S. 2003: A condition-based failure-prediction and processing-scheme for preventive maintenance . IEEE Transactions on Reliability 52, 373-83.

Condition-based maintenance using dynamic decisions by Petri nets and Dempster—Shafer theory: a matrix-based approach

Abstract

Keywords

Get full access to this article

References