A TOOL FOR THE STRUCTURED MODELLING OF DISCRETE EVENTS SYSTEMS BEHAVIOR : THE HYPERGRAFCET

J.J. DUMERY(1), J.M. FAURE(1), J.P. FRACHET(2), S. LAMPERIERE(1), F. LOUNI(1)

(1) Laboratoire d'Ingénierie Intégrée des Systèmes Industriels (LIISI)
    CESTI-ISMCM Toulon
    Maison des Technologies - Quartier Mayol
    83000 TOULON - FRANCE
    Tél.: (33) 94.03.88.00 - Fax: (33) 94.03.88.04

(2) Now in: Ecole Nationale Supérieure d'Arts et Métiers
            8, boulevard Louis XIV, 59046 LILLE Cedex - FRANCE

References :
Proceedings of the CESA'96, an IMACS-IEEE Multiconference on
Computational Engineering in Systems Applications (CESA'96) pp. 519-524
Lille, France, July 9-12, 1996

This article is available (PS file): point here
Cet article est disponible au format PS : cliquez ici

This article is available (PDF file): point here
Cet article est disponible au format PDF : cliquez ici

Abstract:
The HyperGrafcet is a graphical formalism, based on the Grafcet, allowing the structured modelling of Discrete Events Systems behavior. This model can be interpreted in two ways depending on the considered principle of analysis: the control principle or the observation one. Furthermore, it is possible to apply to the HyperGrafcet the proof techniques currently used for the Grafcet, and an algebraic representation of a HyperGrafcet can make the application of these techniques easier for validation and research of properties.