Special section on Coloured Petri Nets.

Published in: Int. J. Softw. Tools Technol. Transf. (2008)