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

Søren Christensen Jens Bæk Jørgensen

Published in: ICATPN (1997)

Keyphrases

audio video
coloured petri nets
formal verification
multimedia
online video
service management
databases
web services
video sequences
user interaction
context sensitive