Modelling and control of self-service public bicycle systems by using Petri nets. (15th October 2012)