Modelling and control of self-service public bicycle systems by using Petri nets. - Taha Benarbia; Karim Labadi; Abdel Moumen Darcherif; Maurice Chayet (Int. J. Model. Identif. Control., 2012)