Du Grafcet aux réseaux de Pétri. 2e éd. rev. augm. Traité des Nouvelles Technologies . France : Hermès, 2007. ,
A formal semantics for Grafcet specications Translating Grafcet specications into Mealy machines for conformance test purposes, 7th IEEE Conference on Automation Science and Engineering, pp.488494-947957, 2011. ,