Analysing a Mechatronic System with Coloured Petri Nets. - Gilles Moncelet; Søren Christensen; Hamid Demmou; Mario Paludetto; José Porras (Int. J. Softw. Tools Technol. Transf., 1998)