Analysing Bang & Olufsen s BeoLink® Audio/Video System Using Coloured Petri Nets

Søren Christensen, Jens Bæk Jørgensen. Analysing Bang & Olufsen s BeoLink® Audio/Video System Using Coloured Petri Nets. In Pierre Azéma, Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN 97, Toulouse, France, June 23-27, 1997, Proceedings. Volume 1248 of Lecture Notes in Computer Science, pages 387-406, Springer, 1997.

Abstract

Abstract is missing.