On using petri nets to detect and recover from faulty behaviours in -transportation facilities

A b s u m 4 u r h important componrnll of IogirUc chain as intermadd freight termlnali can be rultmbly mdeUrd as dbrrclr even1 systems, and lhen represented vis PeM nets (PN). PN sUow to dnrribr the rgnchronlzation problems s m n g m o u m ~ as well os the behaviour in both regnlsr and faulty sihlr4oni of the lrnninsl ltrdf. The fwlt dclecIion is pelfomed by monitoring a special class of PN tnnridonr. naintd smchrmi~tion tramdiom, which reprnmt the brglanhg of operatiow mquiriog more than a m resource. The mlevml di.gnoris and movcry are carried out by running a pmprr optilniulien slgorithm

[1]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[2]  A. Di Febbraro,et al.  Modelling automated material handling in intermodal terminals , 2001, 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics. Proceedings (Cat. No.01TH8556).

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4]  Angela Di Febbraro,et al.  Fault diagnosis in an intermodal container terminal , 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).

[5]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..

[6]  Christos G. Cassandras,et al.  Introduction to the Modelling, Control and Optimization of Discrete Event Systems , 1995 .

[7]  Han-Pang Huang,et al.  Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets , 2000, IEEE Trans. Robotics Autom..

[8]  Peter Kemper,et al.  MODELING AND ANALYSIS OF A FREIGHT TERMINAL WITH STOCHASTIC PETRI NETS. , 2000 .