Modelling Data Processing for Interactive Scores Using Coloured Petri Nets

Jaime Arias (1, 2) , Myriam Desainte-Catherine (2, 1) , Camilo Rueda (3)

1 PoSET - Models for a Structured Programming of Space and Time
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique
3 Departamento de Electrónica, Pontificia Universidad Javeriana

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.

Mots clés: Coloured Petri Nets; Data Processing; Formal Specification; Interactive Scores

Domaines: Modélisation et simulation; Multimédia [cs.MM]

Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda. Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. 14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis, Tunisia. ⟨10.1109/ACSD.2014.23⟩. ⟨hal-01095176⟩