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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7803-5731-0
DOI :
10.1109/ICSMC.1999.815551