Modelling and integration of resource communication in multimedia applications with high constraints using hierarchical Petri nets

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.