• DocumentCode
    233622
  • 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
  • fYear
    2014
  • fDate
    23-27 June 2014
  • Firstpage
    186
  • Lastpage
    195
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Application of Concurrency to System Design (ACSD), 2014 14th International Conference on
  • Conference_Location
    Tunis La Marsa
  • Type

    conf

  • DOI
    10.1109/ACSD.2014.23
  • Filename
    7016342