Extensions of Grafcet to structure behavioural specifications

Abstract Grafcet is a powerful tool to specify sequential behaviours. However some limits of this formalism may be reached when dealing with complex systems. The aim of this paper is to present new mechanisms that have been proposed in order to extend specification capabilities of Grafcet and that have been taken up by the revision process of the IEC 61848 standard: enclosed step and stored actions. The consistency of these extensions with basic formalism is shown and their usefulness is illustrated by an example. Theoretical definitions of Grafcet and its extensions are given in Appendix A.

[1]  J.-J. Lesage,et al.  Validation and verification of grafcets using finite state machine , 1996 .

[2]  P. Lhoste,et al.  Grafcet : from theory to implementation , 1997 .

[3]  Philippe Le Parc,et al.  Grafcet revisited with a synchronous data-flow language , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[4]  G. Villermain-Lecolier,et al.  Giving Semantics to the Extended Grafcet by Means of Timed Transition Model , 1995 .

[5]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[6]  Armando W. Colombo,et al.  Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design , 1999, IEEE Trans. Control. Syst. Technol..

[7]  J.-M. Faure,et al.  Modelling discrete event systems behaviour using the hyperfinite signal , 1997 .

[8]  H. Gueguen,et al.  Extending Grafcet for the specification of control of hybrid systems , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[9]  RenC David,et al.  Grafcet: a powerful tool for specification of logic controllers , 1995, IEEE Trans. Control. Syst. Technol..

[10]  Jean-Jacques Lesage,et al.  Hierarchical approach to GRAFCET using forcing order , 1993 .

[11]  P. M. Bruijn,et al.  From Grafcet to Hybrid Automata , 1998 .

[12]  Karl-Erik Årzén.  Grafcet for intelligent supervisory control applications , 1994, Autom..

[13]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..