Conferences

1999

• A CASE TOOL FOR THE SYNTHESIS OF OPTIMAL CONTROL IMPLEMENTATION OF GRAFCET
  V. CARRE-MENETRIER, C. NDJAB HAGBEBELL, F. GELLOT ET J. ZAYTOON
  1999 IEEE International Conference on Systems, Man and Cybernetics, Tokyo-Japon, octobre 1999, pp 796-801

• GRAFCET-SFC (SEQUENTIAL FUNCTION CHART) AND ITS EXTENSIONS AS A FORMAL BASE FOR MODELING THE BEHAVIOR OF COMPLEX INDUSTRIAL SYSTEMS
  J.P. FRACHET, M. BERTRAND
  SCI '99/ISAS '99 July 99 Orlando, Florida USA

• UNE METHODE D'ANALYSE PAR OBJECTIFS POUR LA CONCEPTION DE LA COMMANDE DES SAP
  H. GUEGUEN , M.A. LEFEBVRE, N. BOUTEILLE
  Actes du 2ième Congrès Modélisation des Systèmes Réactifs (MSR'99), pp 173-182, Cachan, 24 et 25 Mars 1999

• SAGITAL : UN ENVIRONNEMENT D'AIDE A LA CONCEPTION DE GRAFCETS BASE SUR DES META-MODELES
  J.M. FAURE, F. COUFFIN, S. LAMPERIERE-COUFFIN
  Actes du 2ième Congrès Modélisation des Systèmes Réactifs (MSR'99), pp 183-192, Cachan, 24 et 25 Mars 1999

• OBTENTION DES SITUATIONS STABLES PAR CALCUL ANTICIPE DES TRANSITIONS FRANCHISSABLES DANS UN GRAFCET
  P. DELANCHY
  Actes du 2ième Congrès Modélisation des Systèmes Réactifs (MSR'99), pp 193-202, Cachan, 24 et 25 Mars 1999

• SEMANTIQUE FONCTIONNELLE ET STABILITE DU GRAFCET SOUS L'HYPOTHESE DU SYNCHRONISME FORT
  J.F. HERY, J.C. LALEUF
  Actes du 2ième Congrès Modélisation des Systèmes Réactifs (MSR'99), pp 263-274, Cachan, 24 et 25 Mars 1999

• SYNTHESE D'UNE IMPLANTATION OPTIMALE DE LA COMMANDE A PARTIR DU GRAFCET
  C. NDJAB, J. ZAYTOON
  Actes du 2ième Congrès Modélisation des Systèmes Réactifs (MSR'99), pp 193-202, Cachan, 24 et 25 Mars 1999

• UN ENVIRONNEMENT DE DEVELOPPEMENT POUR LA CONCEPTION DE SYSTEMES AUTOMATISES DE PRODUCTION
  P. LE PARC, R. QUERREC, P. CHEVAILLIER, J. TISSEAU, L. MARCE
  Actes du 2ième Congrès Modélisation des Systèmes Réactifs (MSR'99), pp 407-416, Cachan, 24 et 25 Mars 1999

1998

• PROVING SEQUENTIAL FUNCTION CHART PROGRAMS USING AUTOMATA
  D. L'HER, J.L. SCHARBARG, P. LE PARC, L. MARCE
  International Workshop on Implementing Automata WIA'98, Rouen, 1998

• SPECIFICATION AND VERIFICATION OF THE KORSO PRODUCTION CELL
  D. L'HER, J.L. SCHARBARG, P. LE PARC, J. VAREILLE, L. MARCE
  9th symposium on INformation COntrol in Manufacturing, INCOM'98 - Advances in Industrial Engineering. Nancy - Metz, France. June 24-26, 1998

• THE SPECIFICATION OF A ROBOT CONTROL SYSTEM WITH GRAFCET
  G. FRENSEL, P. M. BRUIJN
  UKACC CONTROL '98, IEE International Conference on Control'98, University of Wales, Swansea, UK, 1-4 September 1998

• PETRI NET ANALYSIS OF BATCH RECIPES STRUCTURED WITH GRAFCHART
  C. JOHNSSON, K.E. ARZEN
  FOCAPO'98, Snowbird, USA, July 1998

• FAULT DETECTION AND ISOLATION ON HYBRID SYSTEMS BY SFC
  R. FERREIRO GARCIA, X.C. PARDO MARTINEZ, J. VIDAL PAZ
  9th symposium on INformation COntrol in Manufacturing, INCOM'98 - Advances in Industrial Engineering, volume III pp. 569-574. Nancy - Metz, France. June 24-26, 1998

• GRAFCET : A NORTH AMERICAN PERSPECTIVE
  P. BARACOS
  9th symposium on INformation COntrol in Manufacturing, INCOM'98 - Advances in Industrial Engineering, volume II pp. 41-46. Nancy - Metz, France. June 24-26, 1998

• FROM GRAFCET TO HYBRID AUTOMATA
  G. FRENSEL, P. M. BRUIJN
  9th symposium on INformation COntrol in Manufacturing, INCOM'98 - Advances in Industrial Engineering, volume II pp. 47-52. Nancy - Metz, France. June 24-26, 1998

• GRAFCHART AND ITS RELATIONS TO GRAFCET AND PETRI NETS
  C. JOHNSSON, K. E. ARZEN
  9th symposium on INformation COntrol in Manufacturing, INCOM'98 - Advances in Industrial Engineering, volume II pp. 53-58. Nancy - Metz, France. June 24-26, 1998

• IMPLEMENTATION OF HIERARCHICAL SEQUENTIAL FUNCTIONAL CHARTS FOR PROGRAMMABLE LOGIC CONTROLLERS
  P. CHIACCHIO
  9th symposium on INformation COntrol in Manufacturing, INCOM'98 - Advances in Industrial Engineering, volume II pp. 59-64. Nancy - Metz, France. June 24-26, 1998

• VALIDATION OF A SFC SOFTWARE SPECIFICATION BY USING HYBRID AUTOMATA
  G. HASSAPIS, I. KOTINI, Z. DOULGERI
  9th symposium on INformation COntrol in Manufacturing, INCOM'98 - Advances in Industrial Engineering, volume II pp. 65-70. Nancy - Metz, France. June 24-26, 1998

• GRAFCHART AND BATCH-RECIPE STRUCTURES
  C. JOHNSSON, K. E. ARZEN
  WBF'98, Baltimore, USA, April 1998

• REACTIVITE ET DETERMINISME DU COMPORTEMENT TEMPOREL DU GRAFCET
  J.J. LESAGE, J.M. ROUSSEL, J.M. FAURE, P. LHOSTE, J. ZAYTOON
  Actes du Congrès ADPM'98 : 3ème conférence internationale sur l'Automatisation Des Processus Mixtes, pp. 99-106, Reims, France. 19-20 mars 1998

• ON BATCH RECIPE STRUCTURES USING HIGH-LEVEL GRAFCHART
  C. JOHNSSON, K. E. ARZEN
  Actes du Congrès ADPM'98 : 3ème conférence internationale sur l'Automatisation Des Processus Mixtes, pp. 107-114, Reims, France. 19-20 mars 1998

• METHODE ET OUTILS POUR L'ANALYSE ET LA MODELISATION DU COMPORTEMENT D'UN SYSTEME HYBRIDE COMPLEXE
  C. DELTHEIL, J.P. FRACHET, D. LEANDRI
  Actes du Congrès ADPM'98 : 3ème conférence internationale sur l'Automatisation Des Processus Mixtes, pp. 115-121, Reims, France. 19-20 mars 1998

• REQUIREMENTS FOR EXTENDING GRAFCET TO HYBRID SPECIFICATIONS
  L. GUILLEMAUD, J.M. GRAVE, H. GUEGUEN
  Actes du Congrès ADPM'98 : 3ème conférence internationale sur l'Automatisation Des Processus Mixtes, pp. 209-215, Reims, France. 19-20 mars 1998

• MODELISATION ET VERIFICATION DE LA CELLULE KORSO PAR UNE BOITE A OUTILS GRAFCET
  D. L'HER, P. LE PARC, J.L. SCHARBARG, L. MARCE
  Actes du Congrès ADPM'98 : 3ème conférence internationale sur l'Automatisation Des Processus Mixtes, pp. 216-223, Reims, France. 19-20 mars 1998

• PREUVE DE PROPRIETES DYNAMIQUES DE GRAFCETS A PARTIR DE LEUR DESCRIPTION STRUCTURELLE
  S. LAMPERIERE, J.M. FAURE, F. COUFFIN
  Actes du Congrès ADPM'98 : 3ème conférence internationale sur l'Automatisation Des Processus Mixtes, pp. 224-231, Reims, France. 19-20 mars 1998

• AUTOMATES MICROPROGRAMMES SENSIBLES A DES EVENEMENTS MIXTES GENERALISES
  J. FLORINE
  Actes du Congrès ADPM'98 : 3ème conférence internationale sur l'Automatisation Des Processus Mixtes, pp. 232-239, Reims, France. 19-20 mars 1998

1997

• THE HYPERFINITE SIGNAL : A NEW CONCEPT FOR MODELLING DYNAMIC SYSTEMS
  J.P. FRACHET
  intern'al conference on Computing Anticipating Systems CASYS '97 August 11-15 1997 HEC Liège Belgium

• GRAFCHART: A PETRI NET/GRAFCET BASED GRAPHICAL LANGUAGE FOR REAL-TIME SEQUENTIAL CONTROL APPLICATIONS
  K.E. ARZEN, C.JOHNSSON,
  SNART'97, Lund, Sweden, August 1997

• ON THE SYNTHESIS OF GRAFCET USING THE SUPERVISORY CONTROL THEORY
  J. ZAYTOON, C. NDJAB, V. CARRE-MENETRIER
  IFAC Conference on Control and Industrial Systems, Belfort, France, 20-22 mai 1997, pp 391-396

• IMPLEMENTATION ASPECTS OF THE PLC STANDARD IEC 1131-3
  M. OHMAN, S. JOHANSSON, K.E. ARZEN
  CACSD'97, IFAC, pp. 15-20, Belgium, April 28-30, 1997

• AGGLAE : UN OUTIL D'AIDE A LA VALIDATION DES GRAFCETS DE SPECIFICATION
  J.M. ROUSSEL, J.J. LESAGE
  Actes du congrès ELISA'97, Nancy, 25 et 26 Mars 1997

• ON THE RECENT ADVANCES IN GRAFCET
  J. ZAYTOON, V. CARRE-MENETRIER, M. NICLET, P. DE LOOR
  IFAC Workshop on Manufacturing systems: Modelling, Management and Control MIM'97, pp. 419-424, Vienna, Austria, February 1997

• ON THE SUPREMAL CONTROLLABLE GRAFCET OF A GIVEN GRAFCET
  J. ZAYTOON, C. NDJAB, J.M. ROUSSEL
  Proceedings of Congress "2nd Mathmod Vienna", pp. 371-376, Vienne, Austria, 5-7 February 1997

1996

• FORMALISING THE SEMANTICS OF GRAFCET FUNCTION CHARTS USING Z
  A. GALLOWAY, H. HABRIAS
  Conference NITE'96, Minsk (Belarussie), 12-14 novembre 1996

• AUTOMATIC SYNTHESIS OF CONTROL PROGRAMS IN POLYNOMIAL TIME FOR AN ASSEMBLY LINE
  I. KLEIN, P. JONSSON, C. BACKSTROM
  IEEE Conference on Decision and Control (CDC-96), Kobe, Japan, Dec, 1996

• OBJECT TOKENS IN HIGH-LEVEL GRAFCHART
  C.JOHNSSON, K.E. ARZEN
  CIMAT'96, Computer Integrated Manufacturing and Automation technology, Grenoble, France, 1996

• OBJECT-ORIENTED SFC AND SP88 RECIPES
  K.E. ARZEN, C.JOHNSSON
  World Batch Forum 1996

• BATCH RECIPE STRUCTURING USING HIGH-LEVEL GRAFCHART
  C.JOHNSSON, K.E. ARZEN
  IFAC'96, 13th World Congress of IFAC, San Francisco, California, 1996

• OBJECT ORIENTED ANALYSIS OF HYBRID ASPECTS OF A MACHINE TOOL
  T. SORIANO, R. BOISSIER, D. RAZAFINDRAMARY, M. RADDADI
  Proceedings of IMACS-IEEE "CESA'96", pp. 390-395, Lille, 9-12 July 1996

• ON PCT AND GRAFCET: TWO APPROACHES IN EVENT-DRIVEN SYSTEMS
  H. YAZDI, S. BAY JORGENSEN
  Proceedings of IMACS-IEEE "CESA'96", pp. 407-412, Lille, 9-12 July 1996

• ON DISTRIBUTION OF GRAFCET SOFTWARE
  T. KOUTHON, J.D. DECOTIGNIE, S. KOPPENHOEFER
  Proceedings of IMACS-IEEE "CESA'96", pp. 498-506, Lille, 9-12 July 1996

• A TOOL FOR THE STRUCTURED MODELLING OF DISCRETE EVENTS SYSTEMS BEHAVIOR: THE HYPERGRAFCET
  J.J. DUMERY, J.M. FAURE, J.P. FRACHET, S. LAMPERIERE, F. LOUNI
  Proceedings of IMACS-IEEE "CESA'96", pp. 519-524, Lille, 9-12 July 1996

• FORMALIZATION OF EDGES FOR THE GRAFCET STATE MACHINE
  M. GUILLAUME, J.M. GRAVE, P. CHLIQUE
  Proceedings of IMACS-IEEE "CESA'96", pp. 579-583, Lille, 9-12 July 1996

• THE HYPERFINITE SIGNAL : APPLICATIONS TO THE MODELLING OF DISCRETE EVENTS SYSTEMS BEHAVIOR
  J.P. FRACHET, S. LAMPERIERE, J.M. FAURE
  Proceedings of IMACS-IEEE "CESA'96", pp. 584-589, Lille, 9-12 July 1996

• A THEORY OF BINARY SIGNAL
  J.J. LESAGE, J.M. ROUSSEL, C. THIERRY
  Proceedings of IMACS-IEEE "CESA'96", pp. 590-595, Lille, 9-12 July 1996

• ANALYSIS AND FORMAL VERIFICATION OF GRAFCET USING INTERPRETED SEQUENTIAL MACHINE
  V. CHAPURLAT, M. LARNAC, G. DRAY
  Proceedings of IMACS-IEEE "CESA'96", pp. 758-764, Lille, 9-12 July 1996

• VALIDATION AND VERIFICATION OF GRAFCET USING STATE MACHINE
  J.M. ROUSSEL, J.J. LESAGE
  Proceedings of IMACS-IEEE "CESA'96", pp. 765-770, Lille, 9-12 July 1996

• STABILITY PROPERTY OF GRAFCET MODEL WITH MAX+ ALGEBRA
  H. PANETTO
  Proceedings of IMACS-IEEE "CESA'96", pp. 771-776, Lille, 9-12 July 1996

• PROVING PROPERTIES OF GRAFCET
  C. ANDRE, D. GAFFE
  Proceedings of IMACS-IEEE "CESA'96", pp. 777-782, Lille, 9-12 July 1996

• MODELLING AND VERIFICATION OF TEMPORIZED GRAFCET
  L. MARCE, D. L'HER, P. LE PARC
  Proceedings of IMACS-IEEE "CESA'96", pp. 783-788, Lille, 9-12 July 1996

• ON THE VALIDATION OF A CLASS OF REAL-TIME PROPERTIES OF GRAFCET CONTROLLED SYSTEMS
  P. DE LOOR, J. ZAYTOON
  Proceedings of IMACS-IEEE "CESA'96", pp. 789-793, Lille, 9-12 July 1996

• THE FORMALISATION AND ANALYSIS OF SEQUENTIAL FUNCTION CHARTS USING A PETRI NET APPROACH
  J. JIANG, D.J. HOLDING
  Proceedings of IFAC WORLD CONGRESS 1996, pp. 513-518, San Francisco, 30 June - 5 July 1996

• VERIFICATION OF SEQUENTIAL CONTROLLERS WITH TIMING FUNCTIONS FOR CHEMICAL PROCESSES
  S. KOWALEWSKI, J. PREUSSIG
  Proceedings of IFAC WORLD CONGRESS 1996, pp. 419-424, San Francisco, 30 June - 5 July 1996

• GRAFCHART: A GRAPHICAL LANGUAGE FOR SEQUENTIAL SUPERVISORY CONTROL APPLICATIONS
  K.E. ARZEN
  Proceedings of IFAC WORLD CONGRESS 1996, pp. 407-412, San Francisco, 30 June - 5 July 1996

• DISCRETE EVENT CONTROL METHODS: A REVIEW
  M. ZHOU, E. TWISS
  Proceedings of IFAC WORLD CONGRESS 1996, pp. 401-406, San Francisco, 30 June - 5 July 1996

• OUTIL D'AIDE À L'ELABORATION DE MODELES SIMULABLES
  M. NICLET, J. ZAYTOON
  Colloque Automatique Génie informatique Image AGI'96, pp 199-202, TOURS-E3i, 6 et 7 Juin 1996

• DESIGNING FLUID POWER CONTROLS WITH GRAFCET
  S. PERRON
  NFPA Proceedings April 23-25, 1996

• INTEGRATION DES FORMALISMES CIMOSA ET GRAFCET POUR LA MODELISATION DES ASPECTS FONCTIONNEL ET DYNAMIQUE DES SYSTEMES DE PRODUCTION
  J.M. FAURE, A. BASSAND, F. COUFFIN, J.P. FRACHET
  Actes du 5ème congrès international de Génie Industriel, Tome III pp 19-25, Grenoble, 2-4 avril 1996

• GRAFCET ET ENVIRONNEMENTS SYNCHRONES
  D. GAFFE, C. ANDRE
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 71-77, Brest, 28-29 Mars 1996

• LE GRAFCET : DU JEU A LA REALITE
  E. BIEREL, O. DOUCHIN, P. LHOSTE
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 123-130, Brest, 28-29 Mars 1996

• UN AUTOMATE PROGRAMMABLE FONDE SUR L'APPROCHE SYNCHRONE DU GRAFCET
  J.L. SCHARBARG, J. BATTUT, L. MARCE
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 131-138, Brest, 28-29 Mars 1996

• UN OUTIL DE DEVELOPPEMENT DES APPLICATIONS DE CONTROLE DE PROCEDE BASE SUR LE GRAFCET ET IMPLEMENTE AVEC UN LANGAGE GRAPHIQUE FLOT DE DONNEES
  E. GEVEAUX, F. COTTET
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 139-145, Brest, 28-29 Mars 1996

• ENSEIGNER L'INFORMATIQUE INDUSTRIELLE A TRAVERS UN OUTIL DE DEVELOPPEMENT LOGICIEL ORIENTE GRAFCET
  A. BODART, R. BOISSIER, B. DIMA
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 147-154, Brest, 28-29 Mars 1996

• MODELISATION SYNCHRONE DU GRAFCET POUR UNE GENERATION DE CODE VHDL EQUIVALENT
  J. HANCQ, F. BATAILLE, H. LEICH
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 155-162, Brest, 28-29 Mars 1996

• APPLICATION DE LA METHODE OMT A L'ANALYSE DE LA COMMANDE D'UN POSTE D'USINAGE
  M. FOFANA, D. RAZAFINDRAMARY, M. RADDADI, T. SORIANO
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 203-210, Brest, 28-29 Mars 1996

• MODELISATION ET VERIFICATION DU GRAFCET
  D. L'HER, P. LE PARC, L. MARCÉ
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 221-228, Brest, 28-29 Mars 1996

• DEFINITION D'UN CADRE FORMEL POUR L'EXPRESSION ET LA VERIFICATION DE PROPRIETES D'UN MODELE GRAFCET
  J.M. ROUSSEL, J.J. LESAGE
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 229-237, Brest, 28-29 Mars 1996

• HEURISTIQUES POUR LA VALIDATION DES SYSTEMES COMMANDES PAR GRAFCET
  P. DE LOOR, J. ZAYTOON, G. VILLERMAIN-LECOLIER
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 239-247, Brest, 28-29 Mars 1996

• ANALYSE ET VERIFICATION DES SYSTEMES DISCRETS COMPLEXES PAR COOPERATION DES MODELES GRAFCET ET MACHINE SEQUENTIELLE INTERPRETEE
  P.FINOTTO, V.CHAPURLAT, D.CRESTANI, F.PRUNET, M.LARNAC, G.DRAY
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 249-255, Brest, 28-29 Mars 1996

• FORMALISATION D'UN MODULE DE SURVEILLANCE A BASE DE LA THEORIE DES AUTOMATES : SYNTHESE ET IMPLANTATION SUR UN ATELIER FLEXIBLE
  M. NOURELFATH, E. NIEL, S. BOUKHOBZA
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 267-276, Brest, 28-29 Mars 1996

• GRAFCET ET THEORIE DES AUTOMATES
  J. ZAYTOON, C. NDJAB, G. VILLERMAIN-LECOLIER
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 277-284, Brest, 28-29 Mars 1996

• UN CADRE DE MODELISATION POUR L'ANALYSE DU COMPORTEMENT DES SYSTEMES AUTOMATISES DE PRODUCTION COMPLEXES ET UN OUTIL ADAPTE : L'HYPERGRAFCET
  J.J. DUMERY, F. COUFFIN, J.M. FAURE, J.P. FRACHET, S. LAMPERIERE
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 285-292, Brest, 28-29 Mars 1996

• LE SIGNAL HYPERFINI : APPLICATION A LA MODELISATION DU COMPORTEMENT DES SYSTEMES A EVENEMENTS DISCRETS
  J.P. FRACHET, S. LAMPERIERE, J.M. FAURE
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 335-342, Brest, 28-29 Mars 1996

• UNE SEMANTIQUE POUR UN GRAFCET REACTIf
  F. CASSEZ
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 373-380, Brest, 28-29 Mars 1996

• LA META-MODELISATION POUR L'INTEGRATION DES OUTILS-METHODES : APPLICATION AU GEMMA ET AU GRAFCET
  F. COUFFIN, J.J. DUMÉRY, J.M. FAURE, J.P. FRACHET
  Actes du Congrès Modélisation des Systèmes Réactifs (MSR'96), pp 381-388, Brest, 28-29 Mars 1996

1995

• USING GRAFCET TO STRUCTURE CONTROL ALGORITHMS
  A. WALLEN
  Proceedings of The Third European Control Conference, Rome, Italy, 1995

• EDITOR E SIMULADOR DE GRAFCET-II: APLICAO A OPERAES LGICAS DE SISTEMAS DE POTNCIA
  C.K. YOSHIHIRO, M. RILLO
  SIMPSIO DE INICIAO CIENTIFICA DA UNIVERSIDADE DE SO PAULO, 3, So Carlos,v.2 p.153, 1995

• VERS L'AMELIORATION DE LA QUALITE DES MODELES DES SYSTEMES DE PRODUCTION : SEMANTIQUE ET VALIDATION
  L. MARCE, D. L'HER, P. LE PARC
  Actes du congrès international de génie industriel de Montréal, Ecole Polytechnique de Montréal, Montréal, Quebec, Canada, 7-9 octobre 1995

• UN PANORAMA DE LA RECHERCHE EN CONCEPTION DE LA CONDUITE DES SYSTEMES DE PRODUCTION
  B. DENIS, J.J. LESAGE
  Actes du congrès international de génie industriel de Montréal, Ecole Polytechnique de Montréal, Montréal, Quebec, Canada, 7-9 octobre 1995

• GIVING SEMANTICS TO THE EXTENDED GRAFCET BY MEANS OF TIMED TRANSITION MODEL
  J. ZAYTOON, P. DE LOOR, G. VILLERMAIN-LECOLIER
  7th IFAC/IFORS/IMACS Symposium LSS'95, Londres, United Kingdom, 1995, pp.965-970

• USING A REAL-TIME FRAMEWORK TO VERIFY THE PROPERTIES OF GRAFCET
  J. ZAYTOON, P.DE LOOR, G.VILLERMAIN-LECOLIER
  3rd IFAC/IFIP Workshop Algoritms and Architecture for Real-Time Control, Ostend, pp. 209-214, 1995

• FROM MODELLING USING FUNCTION CHARTS FOR CONTROL SYSTEMS TO ANALYSIS USING PETRI NETS
  A. EL RHALIBI, F. PRUNET, C. DURANTE
  MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems p. 389-93

• MODELING AND PROVING GRAFCETS WITH TRANSITION SYSTEMS
  D. L'HER, P. LE PARC, L. MARCE
  2nd AMAST workshop on Real-Time Systems (Project "Modèles et Preuves") - Bordeaux - juin 95

1994

• PARAMETERIZED HIGH-LEVEL GRAFCET FOR STRUCTURING REAL-TIME KBS APPLICATIONS
  K.E. ARZEN
  Preprints 2nd IFAC Workshop on Computer Software Structures Integrating AI/KBS Systems in Process Control, pp. 105-110, Lund, Sweden, August 1994

• PARAMETERIZED HIGH-LEVEL GRAFCET FOR STRUCTURING REAL-TIME KBS APPLICATIONS
  K.E. ARZEN
  Preprints 2nd IFAC Workshop on Computer Software Structures Integrating AI/KBS Systems in Process Control, pp. 105-110, Lund, Sweden, August 1994

• STRUCTURING CONTROL ALGORITHMS USING GRAFCET
  A. WALLEN
  Reglermöte 94, Västerås, Sweden, 1994

• EDITOR E SIMULADOR DE GRAFCET
  C.K. YOSHIHIRO, P N S RODRIGUES,M. RILLO
  CONGRESSO DE INICIAO CIENTIFICA E TECNOLGICA EM ENGENHARIA, 13, So Carlos, p.207, 1994

• MODULAR SPECIFICATION, STRUCTURED ANALYSIS AND SIMULATION OF DISTRIBUTED CONTROL SYSTEM : THE ACSY-R MODEL
  V.CHAPURLAT, F.PRUNET
  ICARV'94 International Conference on Automatic, Robotic and Vision - Singapour - 8 au 11 Novembre 1994

• CONTRIBUTION OF THE GRAFCET MODEL TO SYNCHRONY IN DISCRETE EVENTS SYSTEMS MODELLING
  H. PANETTO, P. LHOSTE, J.F. PETIN, E. BON
  IEEE/IECON'94, pp. 1527-1532, Vol. 3, ISBN 0-7803-13291, BOLOGNE (ITALIE), 5-9 SEPTEMBRE 1994

• SPECIFICATION, ANALYSIS AND VALIDATION OF DISTRIBUTED CONTROL SYSTEM: THE ACSY-R MODEL
  V.CHAPURLAT, F.PRUNET
  IFAC WorkShop New Trends in Design Technique, Bratislava - Slovaquie - 7/11 September 1994

• COOPERATION GRAFCET / ESTEREL
  C.ANDRE, D.GAFFE
  Actes du Colloque Automatique Informatique Image (AGI'94), Poitier,2-3 juin 1994

• EVALUATION DE REALISATION INDUSTRIELLE DE PARTIE COMMANDE MODELISEE PAR GRAFCET
  P. DELANCHY, J. C. SCHUBENEL
  Actes du Colloque Automatique Informatique Image (AGI'94), Poitier,2-3 juin 1994

• HYBRID SYSTEMS MODELLING AND VALIDATING USING STATECHARTS AND GRAFCET
  R. BOISSIER, B. DIMA, D. RAZAFINDRAMARY, T. SORIANO
  Real Time Programming 1994. Papers Presented at the IFAC Workshop p. 73-9

• DEVELOPING A CLASS OF SEQUENTIAL FUNCTION CHARTS FROM PETRI NETS
  T.O. BOUCHER, P. SUNG
  Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology p. 163-8

• A FUNCTIONAL AND A BEHAVIOURAL MODEL WORKING TOGETHER TO DIAGNOSE FAILURES MORE ACCURATELY
  H. FIORINO, C. TESSIER
  AI '94. Fourteenth International Avignon Conference.Proceedings p. 301-10 vol.1

• SIMULATION DU FONCTIONNEMENT D'UNE USINE A BETON
  M. ARNOUX, J.L. SCHARBARG, P. LE PARC, L. MARCE
  Symposium Automatisation Des Processus Mixtes : Les Systemes Dynamiques Hybrides - Bruxelles - novembre 94

• TWO PROOF METHODS FOR THE GRAFCET LANGUAGE
  P. LE PARC, B. QUEGUINEUR, L. MARCE
  IFAC - Workshop on REAL-TIME Programming - Lac de Constance - Juin 94

• A BOOLEAN ALGEBRA FOR A FORMAL EXPRESSION OF EVENTS IN LOGICAL SYSTEMS
  B. DENIS, J.J. LESAGE, J.M. ROUSSEL
  Proc. of IMACS Mathmod, pp. 859-862, VIENNE, Février 1994

• DEFINITION SYNCHRONE DU GRAFCET A L'AIDE DU LANGAGE SIGNAL
  P LE PARC, L. MARCE
  Salon Real Time Systems - Paris - Janvier 1994

1993

• GRAFCET FOR INTELLIGENT REAL-TIME SYSTEMS
  K.E. ARZEN
  Preprints IFAC 12th World Congress, Sydney, Australia, 1993

• DISCRETE EVENTS SYSTEM MODELLING AND SOFTWARE ENGINEERING: ACSY
  V.CHAPURLAT, G.MONNERET, F.PRUNET
  IEEE PROCEEDINGS Computer In Design Manufacturing and production, 7th Annual European Computer Conference - COMP EURO 93, Paris/Evry 24/27 Mai 1993

• CONCEPT OF DESCENT OF A GRAFCET MODEL APPLICATION TO THE REDUCTION OF THE MODEL IN A SPECIFIC CONTEXT
  T. SORIANO
  Conference Proceedings. 1993 International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans p. 36-41 vol.1

• AUTOMATIC CREATION OF SEQUENTIAL CONTROL SCHEMES IN POLYNOMIAL TIME
  I. KLEIN, P. LINDSKOG
  Proceedings of the 32nd IEEE Conference on Decision and Control p. 211-16 vol.1

• G++: A GRAPHICAL LANGUAGE TO SPECIFY REAL-TIME PARALLEL APPLICATIONS
  H. BRAMS, M. LOBELLE, G. DETROZ, A. APRIL
  Proceedings. Euromicro Workshop on Parallel and Distributed Processing p. 185-93

• A GRAFCET-BASED APPROACH TO FAULT DIAGNOSIS
  C.TESSIER-BADIE, C. CASTEL
  Thirteenth International Conference. Artificial Intelligence, Expert Systems, Natural Language Proceedings p. 343-53

• COMPUTER-AIDED ANALYSIS AND DESIGN OF SEQUENTIAL CONTROL IN INDUSTRIAL PROCESSES
  K. ZENGER
  Computer Aided Systems Theory - EUROCAST '93. Third International Workshop on Computer Aided Systems Theory p. 440-9

• SYNCHRONOUS DEFINITION OF GRAFCET
  P LE PARC, L. MARCE
  IEEE Systems, Man and Cybernetics'93 - Le Touquet - octobre93

1992

• REAL-TIME SUPERVISION BY A GRAFCET ALGORITHM
  R.F. GARCIA
  Low Cost Automation 1992. Techniques, Components and Instruments, Applications. Selected papers from the 3rd IFAC Symposium p. 245-9

• DESIGN RECOVERY FOR RELAY LADDER LOGIC
  A. FALCIONE, B.H. KROGH
  First IEEE Conference on Control Applications p. 648-53 vol.2

• DEFINING THE SEMANTICS OF LANGUAGES FOR PROGRAMMABLE CONTROLLERS WITH THE HELP OF SYNCHRONOUS PROCESSES
  L. MARCE, P LE PARC
  IFAC - Workshop on Real Time Programming WRTP'92 - Bruges - Juin 92

• L'EXTENSION DU MODELE GRAFCET A UN PLUS LARGE DOMAINE EST-ELLE NECESSAIRE ?
  N. BOUTEILLE
  Actes du Congrès GRAFCET'92, pp. 3-12, PARIS, 25-26 Mars 1992

• GRAFCET : DE LA SYNTAXE A LA SEMANTIQUE
  P. LHOSTE, H. PANETTO, M. ROESCH
  Actes du Congrès GRAFCET'92, pp. 13-25, PARIS, 25-26 Mars 1992

• CONSTRUCTION GRAPHIQUE D'UN MODELE EN GRAFCET D'UNE COMMANDE OBTENUE PAR EXTRACTION OU INSTANCIATION
  T. SORIANO, F. LOUNI
  Actes du Congrès GRAFCET'92, pp. 29-38, PARIS, 25-26 Mars 1992

• METHODOLOGIE D'ELABORATION DU GRAFCET : APPROCHE BASEE SUR UNE MODELISATION CONJOINTE DES PRODUITS ET DES EQUIPEMENTS
  S. DEMBELE, O. BARAKAT, J.P. BOURRIERES
  Actes du Congrès GRAFCET'92, pp. 39-47, PARIS, 25-26 Mars 1992

• TRANSPARENCE DES SYSTEMES COMPLEXES DANS LA CONCEPTION ET L'ETUDE PAR LE GRAFCET DE SYSTEME DE PRODUCTION AUTOMATISE
  P. GORCE, J.G. FONTAINE
  Actes du Congrès GRAFCET'92, pp. 49-58, PARIS, 25-26 Mars 1992

• GRAFSUR, POUR LA PRISE EN COMPTES DES DYSFONCTIONNEMENTS DE SYSTEMES DECRITS PAR LE GRAFCET
  Z. ABAZI, B. DESCOTES-GENON, R. THOMAS, J.L. THOME
  Actes du Congrès GRAFCET'92, pp. 59-68, PARIS, 25-26 Mars 1992

• SPECIFICATION DE LA COMMANDE COORDONNEE D'UN SYSTEME DE PRODUCTION : UTILISATION CONJOINTE DU GRAFCET ET DES RESEAUX DE PETRI
  B. SAYAT, P. LADET
  Actes du Congrès GRAFCET'92, pp. 69-77, PARIS, 25-26 Mars 1992

• MODELE STRUCTURE DE SPECIFICATION DE SYSTEMES-EVENEMENTS DISCRETS UTILISANT LE GRAFCET : LE MODELE ACSY
  V.CHAPURLAT, T. GIACCONE, G. MONNERET, F. PEREYROL, F. PRUNET, D. SIMOTTEL
  Actes du Congrès GRAFCET'92, pp. 79-88, PARIS, 25-26 Mars 1992

• GRAFCET ET LANGAGES SYNCHRONES
  C. ANDRE, M.A. PERALDI
  Actes du Congrès GRAFCET'92, pp. 90-100, PARIS, 25-26 Mars 1992

• MODELISATION DE LA SEMANTIQUE DU GRAFCET A L'AIDE DE PROCESSUS SYNCHRONES
  L. MARCE, P LE PARC
  Actes du Congrès GRAFCET'92, pp. 101-110, PARIS, 25-26 Mars 1992

• ELEMENTS POUR UNE SEMANTIQUE TEMPORELLE DU GRAFCET ET DES SYSTEMES DYNAMIQUES FONDEE SUR L'ANALYSE NON STANDARD
  J.P. FRACHET, G. COLOMBARI
  Actes du Congrès GRAFCET'92, pp. 111-124, PARIS, 25-26 Mars 1992

• PREUVE DE LA COHERENCE D'UNE HIERARCHIE DE FORCAGE ENTRE GRAFCETS PARTIELS
  J.J. LESAGE, J.M. ROUSSEL
  Actes du Congrès GRAFCET'92, pp. 125-134, PARIS, 25-26 Mars 1992

• VALIDATION DE MODELES GRAFCET FONCTIONNELS ET EVALUATION DE PERFORMANCES DU SYSTEME ASSOCIE PAR L'UTILISATION DES RESEAUX DE PETRI
  P. AYGALINC, J.P. DENAT
  Actes du Congrès GRAFCET'92, pp. 135-145, PARIS, 25-26 Mars 1992

• GRAFCET ET ENSEIGNEMENT : OU EN EST-ON ?
  D. GENDREAU
  Actes du Congrès GRAFCET'92, pp. 149-162, PARIS, 25-26 Mars 1992

• CONCEPTION STRUCTUREE AVEC L'OUTIL GRAFCET : VERS UNE METHODE GLOBALE
  B. FROMENT
  Actes du Congrès GRAFCET'92, pp. 163-177, PARIS, 25-26 Mars 1992

• ENSEIGNEMENT, CONCEPTION ET REALISATION D'AUTOMATISMES SEQUENTIELS AVEC UN LOGICIEL GRAFCET
  B. DIMA, M. MANKA
  Actes du Congrès GRAFCET'92, pp. 179-184, PARIS, 25-26 Mars 1992

• EAO DU GRAFCET ET TUTEUR INTELLIGENT
  B. BAUDEL-CANTEGRIT, J.M. TOULOTTE
  Actes du Congrès GRAFCET'92, pp. 185-194, PARIS, 25-26 Mars 1992

• QUELQUES DIFFICULTES à TRANSPOSER DES SPECIFICATIONS GRAFCET DANS UN LANGAGE D'AUTOMATE INSPIRE DU GRAFCET
  J.M. FAURE
  Actes du Congrès GRAFCET'92, pp. 197-205, PARIS, 25-26 Mars 1992

• APPROCHE ORIENTEE OBJET POUR LA CONCEPTION DE LA REPRESENTATION PIVOT DANS LE SYSTEME GRAFST
  F. AMIRA-HAMOUDA, M. MOALLA, H. HADJAMI-BEN GHEZALA
  Actes du Congrès GRAFCET'92, pp. 207-217 , PARIS, 25-26 Mars 1992

• REPRESENTATION ET LANGAGE PIVOTS PUBLICS POUR LES AUTOMATISMES PROGRAMMES : CAHIER DES CHARGES ET SPECIFICATIONS GENERALES
  J.B. KOECHLIN, L. VERDIN
  Actes du Congrès GRAFCET'92, pp. 219-228, PARIS, 25-26 Mars 1992

1991

• Classification of critical events in systems described by grafcet using the markov process
  Z. ABAZI, T. PETER
  Proceedings of the IFAC/IFIP Symposium on Safety of Computer Control Systems, Trondheim, Norway, pp. 101-106, 1991

• UTILISATION DU GRAFCET ET DES RESEAUX DE PETRI POUR LA CONCEPTION ET LA COMMANDE DE CELLULES DE PRODUCTION MANUFACTURIERE
  J.P. DENAT, P. AYGALINC
  Actes du 3eme congres International de genie industriel, Tours, France, Novenbre 1991

• ON THE PLANNING PROBLEM IN SEQUENTIAL CONTROL
  I. KLEIN, C. BACKSTROM
  30th IEEE Conference on Decision and Control (CDC-91), pp. 1819-1823, Brighton, UK, December 1991

• LE GRAFCET : NOUVELLES EVOLUTIONS ET ASPECTS NORMATIFS
  B. FROMENT, D. GENDREAU
  Les 9èmes Journées Robotique et Productique - SAINT ETIENNE, Maison de la Productique, 3 et 4 Décembre 1991

• LE GRAFCET DANS LE GENIE AUTOMATIQUE
  J.J. LESAGE
  Actes du Congrès MESUCORA 91, pp 3-15, PARIS, Novembre 1991

1990

• KNOWLEDGE-BASED CONTROL SYSTEMS
  K.E. ARZEN
  Proceedings of the 1990 American Control Conference p. 1986-91 vol.2

1989

• G++, A GRAPHICAL LANGUAGE INTENDED TO HELP THE DEVELOPMENT OF INDUSTRIAL PROCESS CONTROL APPLICATIONS
  A.G. FANARD, M.C. LOBELLE, E.B. MULEMANGABO
  Second International Conference on Software Engineering for Real Time Systems p. 85-9

1988

• METHODOLOGY AND INDUSTRIAL TOOL FOR STRUCTURED PROGRAMMING
  P. LLORCA
  Congres Automatique 1988. Quelle Automatique dans les Industries Manufacturieres (Automation Congress 1988. What Automation is Needed in Manufacturing Industries) p. 253-66

• GEMMA, THE COMPLEMENTARY TOOL OF THE GRAFCET
  G. CLOUTIER, J.J. PAQUES
  Conference Proceedings. Fourth Annual Canadia Programmable Control and Automation Technology Conference and Exhibition

• A SCHEME FOR TRANSLATING CONTROL FLOW IN THE C PROGRAMMING LANGUAGE TO GRAFCET
  B.H. THOMAS
  CAD/CAM Robotics and Factories of the Future. 3rd International Conference (CARS and FOF '88) Proceedings p. 351-5 vol.1

• GRAPHICAL AND ICONIC PROGRAMMING LANGUAGES FOR DISTRIBUTED PROCESS CONTROL: AN OBJECT ORIENTED APPROACH
  S. COOTE, J. GALLAGHER, J. MARIANI, T. RODDEN, A. SCOTT, D. SHEPHERD
  1988 IEEE Workshop on Visual Languages p. 183-90

• EXPERT SYSTEMS FOR GRAFCET CREATION
  T. JAQUEMIN, B. DESCOTES-GENON, P. LADET
  12th IMACS World Conference, Vol. 3, pp. 525-527, 1988

1987

• GRAFCET AND SFC AS FACTORY AUTOMATION STANDARDS
  A.D. BAKER, T.L. JOHNSON, D.I. KERPELMAN, H.A. SUTHERLAND
  American Control Conference, pp. 1725-1730, 1987

1985

• AUTOMATION SYSTEM METHODS: PROGRESS IN THE INCEPTION OF METHODICAL TOOLS
  N. BOUTEILLE
  Methodologie Generale d'Automatisation pour les Industries Manufacturieres: Convention Automatique Productique p. 22-31

• PETRI-NET STRUCTURED SEQUENCE-CONTROL LANGUAGE WITH GRAFCET-LIKE GRAPHICAL EXPRESSION FOR PROGRAMMABLE CONTROLLERS
  K. MATSUZAKI, S. HATA, J. HAMANO, Y.M. KURASHIMA, M. TORII
  International Conference on Industrial Electronics, Control and Instrumentation Industrial Application of Mini, Micro and Personal Computers, ICEON'85, San Francisco, pp. 433-438, 1985

1984

• GRAFCET AS A DESCRIPTION AND SIMULATION TOOL AT THE FUNCTIONAL LEVEL IN CAD SYSTEM
  D. BOUCHER, M. POIZE, A. PUISSOCHET
  1984 IEEE Int. Symp. on Circuits and Systems, Montréal, 1984

1983

• CONTROLADOR PROGRAMAVEL POR GRAFOS DE COMANDO ETAPA TRANSICAO
  M. RILLO, A.H.R. COSTA, W. ZILINSKA, S. CIRELLI
  1o. Congresso Nacional de Automacao Industrial (CONAI). Sao Paulo, SP, 08/1983

• Deterministic Safe Interpreted Petri Nets - Relation with the Grafcet Model
  R. DAVID, H. DENEUX
  4th European Workshop on Petri Nets, Toulouse, Septembre 1983

• Recherche d'une même base de description en vue de la simulation et de la commande d'un atelier flexible : utilisation du GRAFCET
  Y. DALLERY, H. DENEUX, R. DAVID
  Congrès AFCET Automatique, Besançon, Novembre 1983

1982

• GRAFOS DE COMANDO ETAPA-TRANSICAO: UM METODO PARA CONTROLE DE PROCESSOS
  M. RILLO
  X Conferencia Latino Americana de Infarmatica. Lima, Peru, agosto de 1982

1978

• SYNTHESE A L'AIDE DE CUSA D'UN SYSTEME SEQUENTIEL DECRIT PAR UN GRAFCET
  R. DAVID
  Les Méthodes Modernes d'Etude et de Réalisation des Automatismes, Journées d'Etudes AFCET-SEE, Gif-sur-Yvette, 2-3 Février 1978