Example
Systems with two wagons carrying each a piece that passes
successively into the machine MA1 and MA2.
MA1 can treat only one piece at each time during 2 u.t and MA2 treats
two pieces simulataneously with a duration of 3 u.t
Built a temporized model of this system,
Built the reachability graph at maximal speed
AT the initial time, the 2 wagons are in ST1