Comportement temporel du Grafcet

Journal Europeen des Systemes Automatises

Volumn 31, Issue 4, 1997, Pages 695-711

  Lhoste, Pascal ^a,e   Faure, Jean Marc ^b,f,g   Lesage, Jean Jacques ^c,e,f   Zaytoon, Janan ^d,h,i  

^a CENTRE DE RECHERCHE EN AUTOMATIQUE DE NANCY   (France)

^b CESTI ISMCM Toulon   (France)

^c UNIVERSITÉ PARIS SACLAY   (France)

^d UNIVERSITÉ DE REIMS CHAMPAGNE ARDENNE   (France)

^e UNIVERSITÉ DE LORRAINE   (France)

^f ECOLE CENTRALE PARIS   (France)

^g CESTI Toulon   (France)

^h UNIVERSITÉ DE LYON   (France)

ⁱ Lab d'Applic de la Microlectron   (France)

Author keywords

Determinism; Grafcet; Reactivity; Semantics; Synchronism; Temporal behavior

Indexed keywords

EID: 3042933654     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. ADEPA/AFCET, Le Grafcet, Editions Cépaduès, Collection « Automatisation et Production », 1992, ISBN 2-85428-307-4.
2. AFCET, Groupe laquo; Systèmes Logiques », Les Interprétations Algébriques et Algorithmiques et les Temporisations du Grafcet, Document de synthèse édité par 1'AFCET en juin 1983 et publication dans «Le Nouvel Automatisme », Septembre 1983.
3. AFCET, Groupe «Systèmes Logiques », Formalisation d'Extensions du Grafcet : Macro-Etape et Forçage, Document de Synthèse, 19 janvier 1987.
4. AFNOR (Association Française de NORmalisation), Diagramme Fonctionnel « GRAFCET »pour la description des Systèmes Logiques de Commande, Norme française NF C03-190, juin 1982.
5. AFNOR (Association Française de NORmalisation), Diagramme Fonctionnel « GRAFCET »pour la description des Systèmes Logiques de Commande, Norme française homologuée NF C03-190, septembre 1995, (version avancée de [AFN 82]).
6. ANDRE Ch., PERALDI M.A., Grafcet et Langages Synchrones, Congrès GRAFCET92, Grafcet : Théorie et Applications, pp. 91-100, Paris, 25-26 mars 1992, ISBN 2-903677-109-8.
7. ANDRE Ch., PERALDI M.A., Synchronous Programming : Introduction and application to Industrial Process Control, 7th Annual European Computer Conference Computers in Design, Manufacturing and Production, COMPEURO'93, IEEE/SEE, Paris-Evry, May 24-27, 1993, pp. 461-470, ISBN 0-8186-4030-8.
8. BENVENISTE A., BERRY G., The Synchronous Approach to Reactive and Real-Time Systems, Proceedings of the IEEE, Vol. 79, n° 9, September 1991, pp. 1270-1282.
9. BIEREL E., DOUCHIN O., LHOSTE P., Le Grafcet : du Jeu àla Réalité, Congrès AFCET Modélisation des Systèmes Réactifs, 28-29 mars 1996, Brest, pp. 123-130, ISBN 2-903677144-4.
10. BOUTEILLE N., BRUGEL E., Rapport entre modèles de spécification et implantation, Actes du Congrès Mesucora'91, novembre 1991.
11. BRARD P., La pénétration industrielle du Grafcet, Université d'Eté Conception des Systèmes Automatisés de Production : Techniques d'élaboration d'un Grafcet. Etude et Prédiction de son comportement dynamique, Organisée par le groupe Grafcet de I'AFCET, ENS Cachan, du 8 au 13 juillet 1993.
12. CEI-IEC (Commission Electrotechnique Internationale), Preparation of Function Charts for Control Systems, Norme Internationale CEI 848, 1988.
13. CEI-IEC (Commission Electrotechnique Internationale), Preparation of Function Charts for Control Systems, Norme Internationale CEI 848, 1991, (Version révisée de [CEI 88]).
14. CEI-IEC (Commission Electrotechnique Internationale - International Electrotechnical Commission), Standard for Programmable Controllers -Part 3 : Programming languages, International Standard, CEI 1131-3, 1991.
15. CEI-IEC (Commission Electrotechnique Internationale - International Electrotechnical Commission), modification N° 1 àla norme internationale CEI 848, 1994.
16. CHAPURLAT V., GIACCONE T., MONNERET G., PEREYROL F., PRUNET F., SIMOTTEL D., A structured model for specification of discrete events systems : the ACSY model, APII-RAIRO, Editions Hermès, Vol. 27, n° 1, 1993, ISSN 0296-1598.
17. DAVID R., ALLA H., Du Grafcet aux Réseaux de Petri, Editions Hermès, 1989.
18. FAURE J.M., Langages de programmation d'API et Modèle Grafcet : similitudes et différences, Actes des Conférences Automation'91, Paris, mai 1991.
19. FRACHET J.P., COLOMBARI G., Elements for a semantics of the time in Grafcet and dynamic systems using non-standard analysis, APII-RAIRO, Editions Hermès, Vol. 27, n° 1, 1993, ISSN 0296-1598.
20. GENDREAU D., Sous-Groupe Grafcet & Enseignement de I'AFCET, Grafcet et Enseignement : où en est-on ?, Congrès GRAFCET '92,Grafcet : Théorie et Applications, pp. 149-162, Paris, 25-26 mars 1992, ISBN 2-903677-109-8.
21. GREPA (GRoupe Equipement de Production Automatisée réuni à I'ADEPA), Le Grafcet : de nouveaux concepts, Cépaduès Editions, Collection «Automatisation et Production », 1985, ISBN 2-85428-148-9.
22. HAREL D., PNUELI A., On the development of reactive systems in logic and models of concurrent systems, NATO ASI Series, K.R. Apt Ed., Springer-Verlag, Vol. 13, pp. 477-498, 1985.
23. LESAGE J.J., ROUSSEL J.M., Hierarchical approach to Grafcet using forcing order, APH-RAIRO, Editions Hermès, Vol. 27, n° 1, 1993, ISSN 0296-1598.
24. LHOSTE P., PANETTO H., ROESCH M., Grafcet : de la Syntaxe à la Sémantique, Congrès GRAFCET'92, Grafcet : Théorie et Applications, pp. 13-25, Paris, 25-26 mars 1992, ISBN 2-903677-109-8.
25. LHOSTE P., Contribution au Génie Automatique : Concepts, Modèles, Méthodes et Outils, Habilitation à Diriger des Recherches, Université Nancy I, février 1994.
26. PANETTO H., LHOSTE P., PETIN J.F., BON E., Contribution of the Grafcet Model to Synchrony in Discrete Event Systems Modelling, Proceedings of the IECON'94, 20th IEEE International Conference on Industrial Electronics Control and Instrumentation, September 5-9, 1994, Bologna (Italy), ISBN 0-7803-1328-3.
27. ROUSSEL J.M., LESAGE J.J., Une algèbre de Boole pour l'approche événementielle des systèmes logiques, APII, Vol. 27, n° 5, 1993, pp. 541-560.
28. ROUSSEL J.M., Analyse de grafcet par génération logique de l'automate équivalent, Thèse de Doctorat de l'ENS Cachan, 16 décembre 1994.
29. UTE (Union Technique de l'Electricité), Diagramme Fonctionnel GRAFCET : Extension des Concepts de base, Fascicule de Documentation UTE C03-191, Avril 1993.
30. ZAYTOON J., LESAGE J.J., MARGE L., FAURE J.M., LHOSTE P., Vérification et Validation du Grafcet, article accepté par le JESA, 1997 (à paraître).