Extensions of grafcet to structure behavioural specifications

Control Engineering Practice

Volumn 9, Issue 7, 2001, Pages 743-756

  Gueguen H ^a   Bouteille, N ^a  

^a SUPELEC Campus de Rennes   (France)

Author keywords

Boolean logic; Formal specification; Grafcet; Sequential control

Indexed keywords

MECHANISMS; STRUCTURE (COMPOSITION);

GRAFCETS;

LARGE SCALE SYSTEMS;

SEQUENCE CONTROL;

EID: 0035391173     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0967-0661(01)00033-8     Document Type: Article

References (23)

1. Grafcet for intelligent supervisory control applications
2. Implementation of non-autonomous high-level Petri net model for reactive real-time systems
3. The synchronuous approach to reactive and real-time systems
4. Grafcet: From theory to implementation
5. Grafcet: A powerful tool for specification of logic controllers
6. Specification, design, and implementation of logic controllers based on Coloured Petri nets models and the standard IEC 1131 part I: Specification and design
7. Modelling discrete event systems behaviour using the hyperfinite signal
8. From Grafcet to hybrid automata
9. Synchronisme dans l'évolution des Statecharts
10. Une méthode d'analyse par objectifs pour la conception de la commande
11. Requirements for extending Grafcet to hybrid specifications
12. Extending Grafcet for the specification of control of hybrid systems
13. Statecharts a visual formalism for complex systems
14. Grafcet revisited with a synchronous data-flow language
15. Hierarchical approach to Grafcet using forcing order
16. Validation and verification of Grafcets using finite state machine
17. Giving semantics to the extended Grafcet by means of timed transition model