DocumentCode
349930
Title
Modelling and integration of resource communication in multimedia applications with high constraints using hierarchical Petri nets
Author
Abouaïssa, H. ; Delpeyroux, E. ; Wack, M. ; Deschizeaux, P.
Author_Institution
Res. Group in Multimodale Syst., Univ. of Technol., Belfort, France
Volume
5
fYear
1999
fDate
1999
Firstpage
220
Abstract
The integration of resource communication in the development of industrial installations has become one of the most treated problems in the industrial area. This requires a high management and control of communication systems for the transfer of complex information. For wide distances, the dynamical control of resources communication becomes more exacting. It must ensure the quality of service necessary for real-time applications, media synchronisation and security of information. Designing such applications requires specific tools and formalisms for exact specification and graphical representation allowing us to perform simulations for analysis, verification and validation of the design results before the realisation and implementation stages. The paper deals with a problem where, using a coloured Petri nets (CPN) formalism it is possible to perform specification of the project including the integration of resource communication. An approach using CPN models is proposed to formalise the constraints in the communication system and intensive simulations allow us to investigate their dynamical behaviour and to solve some problems related to synchronisation and quality of service. A real industrial example of a distance driving of a robot via the Internet is considered to illustrate the principle of the method
Keywords
Internet; Petri nets; formal specification; formal verification; graph colouring; mobile robots; multimedia communication; quality of service; security of data; synchronisation; telerobotics; coloured Petri nets; complex information; dynamical behaviour; hierarchical Petri nets; industrial installations; media synchronisation; real-time applications; resource communication; security of information; synchronisation; Analytical models; Communication industry; Communication system control; Communication system security; Control systems; Electrical equipment industry; Information security; Multimedia communication; Performance analysis; Quality of service;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location
Tokyo
ISSN
1062-922X
Print_ISBN
0-7803-5731-0
Type
conf
DOI
10.1109/ICSMC.1999.815551
Filename
815551
Link To Document