Corpus ID: 95248

A system of interactive scores based on Petri nets

@inproceedings{Allombert2007ASO,
  title={A system of interactive scores based on Petri nets},
  author={Antoine Allombert and G{\'e}rard Assayag and Myriam Desainte-Catherine},
  year={2007}
}
We propose a formalism for composition and performance of musical pieces involving temporal structures and discrete interactive events. We use the Allen relations to constrain these structures and to partially define a temporal order on them. During the score composition stage, we use a constraints propagation model to maintain the temporal relations between the structures. For the performance stage, we must allow the composer to trigger the interactive events "whenever" he wants and we have to… Expand
Structured Interactive Scores: From a simple description of an interactive scenario to a real-time capable implementation with formal semantics
TLDR
This dissertation proposes new semantics for interactive scores based on timed event structures and introduces two extensions of the formalism of interactive scores to handle audio processing using the Fast AUdio Stream (Faust) language and another one to handle conditional branching, allowing designers to specify choices and loops. Expand
Concurrent constraints models of music interaction
TLDR
This chapter follows this "economy of means" way to present several vari- eties of CCP calculi, starting from a very basic one and building from it by adding new features, which are used to describe a simple model of a basic form of musical dissonances. Expand
Structured interactive scores : from a structural description of a multimedia scenario to a real-time capable implementation with formal semantics
TLDR
This dissertation proposes new semantics for interactive scores based on timed event structures and introduces two extensions of the formalism of interactive scores to handle audio processing using the Fast AUdio Stream (Faust) language and another one to handle conditional branching, allowing designers to specify choices and loops. Expand
OSSIA: Towards a unified interface for scoring time and interaction
TLDR
A notation for the use of conditional branching in interactive scores will be introduced, based on a high level formalism for the authoring of interactive scores developed during the course of the OS-SIA research project. Expand
Towards an Encoding of Musical Interaction
TLDR
A formal representation for composing musical scores in which some temporal properties can be interactively modified during their execution is proposed, which allows the creation of scores that can be interpreted by a performer in the same way a musician can interpret a score of instrumental music. Expand
A Declarative Language for Dynamic Multimedia Interaction Systems
TLDR
A model for dynamic interactive scores where interactive points can be defined to adapt the hierarchical structure of the score depending on the information inferred from the environment and a music improvisation system based on the factor oracle that scales up to situations involving several players, learners and improvisers are proposed. Expand
Iscore: a system for writing interaction
TLDR
The development of research carried out to design a system of interactive scores for composition and execution, based on temporal constraints called Iscore, which can be used to create interactive multimedia scenarios and also for adapting musical pieces or interactive multimedia documents for mutli-player applications or players with limited ability. Expand
Concurrent Constraint Models of Multimedia Interaction
Process calculi (see e.g., [MIL 99, NIE 02, SAR 93]) are well-established formalisms to describe concurrent systems so as to reason rigorously about their properties. Their compositional natureExpand
An Extension of Interactive Scores for Multimedia Scenarios with Temporal Relations for Micro and Macro Controls
TLDR
The formalism of interactive scores is extended to describe multimedia scenarios with flexible and fixed temporal relations among the objects of the scenario, but cannot express neither temporal relations for micro controls nor signal processing. Expand
i-Berlioz: Interactive Computer-Aided Orchestration with Temporal Control
This paper introduces the beta version of i-Berlioz, an interactive CAO system that generates orchestrations from verbal timbre descriptors. This system relies on machine learning models for timbreExpand
...
1
2
3
...

References

SHOWING 1-10 OF 18 REFERENCES
Concurrent Constraints Models for Interactive Scores
TLDR
A formalism for construction and performance of musical pieces composed of temporal structures composed of discrete interactive events partially defined according to constraints, such as Allen temporal relations is proposed. Expand
Scoresynth: a system for the synthesis of music scores based on Petri nets and a music algebra
The authors show that they have chosen and organized symbols depending on instrumental needs within common music notations. The new kind of representation they propose makes up a conceptual musicExpand
Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic
In recent years, IRCAM has been exploring and developing software for computer-assisted composition (CAC). These software packages allow composers and musicologists to formalize and experiment withExpand
A Temporal Concurrent Constraint Programming Calculus
TLDR
A model of temporal concurrent constraint programming which adds to tcc the capability of modeling asynchronous and non-deterministic timed behavior is proposed, calling this tcc extension the ntcc calculus. Expand
Petri nets: Properties, analysis and applications
TLDR
The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Expand
Views and Iterators for Generic Constraint Implementations
TLDR
The paper shows how to make constraint implementations generic and how to reuse a single generic implementation with different views for different constraints, and introduces domain operations compatible with views based on range iterators. Expand
Maintaining knowledge about temporal intervals
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation. This system is notable in offering a delicate balanceExpand
ASSAYAG AND C. RUEDA, Concurrent constraints models for interactive scores, in Pr
  • Sound and Music Computing
  • 2006
ALLOMBERT, Specification of temporal relations between interactive events, in Pr
  • Sound and Music Computing
  • 2004
...
1
2
...