Christensen, S.; Jørgensen, J. B. Analysing Bang & Olufsen’s BeoLink Audio/Video System Using Coloured Petri Nets. DPB 1997, 26.