Modeling temporal constraints for a system of interactive scores
Résumé
We present a model of interactive scores based upon ntcc. The model is inspired on a previous model based upon ntcc that do not consider hierarchy nor the fact that execution can continue even if interactive events are not launched [ALL 06]. The model is also close is spirit to the petri nets model. Regrettably, in petri nets is difficult to model global constraints such as the maximum number of simultaneous temporal objects and temporal reductions during execution.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...