• 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