Title :
Monitoring and fault detection in shop floor using time Petri nets
Author :
Srinivasan, V.S. ; Jafari, M.A.
Author_Institution :
Dept. of Ind. Eng., Rutgers Univ., Piscataway, NJ, USA
Abstract :
The authors present a solution to compute the maximum bounds on token holding times of different places in different states of a time Petri net. Some background information on time Petri nets is given. This solution may also be used to identify invalid states. The approach is based on backfiring of transitions in the time Petri net. The application of these results is in the areas of monitoring system state and fault detection
Keywords :
Petri nets; fault location; manufacturing processes; monitoring; backfiring; fault detection; invalid states; manufacturing processes; maximum bounds; monitoring; shop floor; time Petri nets; token holding times; Computerized monitoring; Control systems; Delay effects; Fault detection; Hardware; Industrial engineering; Petri nets; Sampling methods; State-space methods; Transducers;
Conference_Titel :
Systems, Man, and Cybernetics, 1991. 'Decision Aiding for Complex Systems, Conference Proceedings., 1991 IEEE International Conference on
Conference_Location :
Charlottesville, VA
Print_ISBN :
0-7803-0233-8
DOI :
10.1109/ICSMC.1991.169710
