Submit Manuscript

Journal of Applied Sciences

Year: 2006 | Volume: 6 | Issue: 10 | Page No.: 2168-2176
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

Article Trend

Total views 273

Search

Authors

Zaoui Lynda

Guezzen Zakia

Abed Houaria

Belbachir Hafida

Keywords

Research Article

Specification of the Multimedia Documents Scenari by the Petri Networks and the Timed Automata

Zaoui Lynda, Guezzen Zakia, Abed Houaria and Belbachir Hafida
The multimedia documents design is today an application field which, with the growing complexity of the produced documents (graphic, video, audio animation...), requires an accurate synchronization of the various elements that build up these documents so as they comply with temporal constraints. The present study on multimedia documents rely primarily on specification of the temporal scenari since it is the new characteristic to be taken into account. The suggested techniques can be classified in two approaches: operational or imperative ones and declarative techniques through temporal relations (or with temporal constraints). In this field, one of the most used tools is the p-temporal Petri network. This choice is justified by its manner to model the majority of the temporal constraints intervening in the process of a multimedia documents edition and presentation system. The objective of this work is to study the hybrid application of the p-temporal Petri networks and the timed automata, as tools of temporal modeling of the scenari. The adopted approach consists of: Specifying the temporal scenario, This is done by the expression of the temporal relations between objects by the Allen relations, Modeling this specification by p-temporal Petri network, Modeling the behavior of p-temporal Petri network by a timed automata and analyzing qualitatively and quantitatively this automata
PDF Fulltext XML References Citation

Leave a Comment

Your email address will not be published. Required fields are marked *