Source: https://www.lirmm.fr/~virazel/COURS/L3 - HAE504E/HAE504E - GRAFCET.pdf