Source: http://www.specialautom.net/automatisme/Petri.pdf