No. 338 (1990): PB-338 Coloured Petri Nets: A High Level Language for System Design and Analysis