No. 476 (1994): PB-476 An Introduction to the Theoretical Aspects of Coloured Petri Nets