Title :
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets
Author :
Arias, Jaime ; Desainte-Catherine, Myriam ; Rueda, Camilo
Author_Institution :
LaBRI, Univ. Bordeaux, Bordeaux, France
Abstract :
I-score is a system for the composition and execution of interactive multimedia scores. It uses Hierarchical Time Stream Petri Nets (HTSPN) to build an execution model of the scores. Nowadays, composers have increasingly needed to represent and manipulate complex data in their multimedia scenarios. However, HTSPN formalism does not allow to handle data. In this work, we propose a model to execute interactive multimedia scores based on Coloured Petri Nets (CPN). Our work extends the current execution model of i-score with the capability to handle complex data. Our approach consists in developing CPN modules for reading, appending and reversing audio files. We use CPN Tools for prototyping, simulating and verifying our model and discuss how to represent fundamental signal processing functions, conditionals or loops.
Keywords :
Petri nets; audio signal processing; data handling; formal verification; interactive systems; multimedia systems; CPN modules; audio file appending; audio file reading; audio file reversing; coloured Petri nets; complex data handling; data processing modelling; execution model; fundamental signal processing functions; i-score; interactive multimedia scores; multimedia scenarios; Data models; Delays; Multimedia communication; Organizations; Petri nets; Reactive power; Streaming media; coloured petri nets; data processing; formal specification; interactive scores;
Conference_Titel :
Application of Concurrency to System Design (ACSD), 2014 14th International Conference on
Conference_Location :
Tunis La Marsa
DOI :
10.1109/ACSD.2014.23