In: Autom. Prod. Inform. Ind., Vol. 21, No. 6, pages 531-551. 1987. In French.
Abstract: The theme is the application of Petri nets to the description, analysis and the implementation of digital command and control systems applied to an automatic people mover, where the safety contraints are particularly severe. The major steps for satisfying safety objectives are presented.