R. David and H. Alla, Du Grafcet aux réseaux de Pétri. 2e éd. rev. augm. Traité des Nouvelles Technologies . France : Hermès, 2007.

J. Provost, J. Roussel, and J. Faure, 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.