1998
Analysing a Mechatronic System with Coloured Petri Nets.
Int. J. Softw. Tools Technol. Transf., 1998