- ALLEN , J. F. 1983 . Maintaining knowledge about temporal intervals . Commtmication ACM , 26 : 832 – 843 .
- ALUR , R. , COURCOUBEITS , C. and DILL , D. L. Model checking for real-times . Proceeding 5th Annual IEEE Symposium on Logics in Computer Science . Philadelphia. pp. 414 – 425 . IEEE .
- ALUR , R. , HENZINGER , T. A. and Ho , P. H. 1996 . Automatic symbolic verification of embedded systems . IEEE Transactions Software Engineering , 22 : 181 – 201 .
- ANDRÉ , C. and GAFFÉ , D. Proving properties of Grafcet with synchronous tools . Proceedings CESA'96 IMACS/IEEE Symposium on Discrete Events and Manufacturing Systems. Lille, France . Lille, France. pp. 777 – 782 . Gerf EC Lille .
- ARNOLD , A. , BÉGAY , D. and CRUBILLÉ , P. 1994 . Construction and Analysis of Transition Systems with MEC , New York : World Scientific Publishing .
- ARZÉN , K. E. 1994 . Grafcet for intelligent supervisory control applications . Automatica , 30 : 1513 – 1525 .
- AYGALINC , P. and DENAT , J. P. 1993 . Validation of functional Grafct models and performance evaluation of the associated system using Petri nets . Automatic Control Production Systems APII , 27 : 81 – 93 .
- BALDASSARI , M. and BRUNO , G. 1991 . PROTOB : an object oriented methodology for developing discrete event dynamic systems . Comp. lang. , 16 (1) : 39 – 63 .
- BALEMI , S. , HOFFMANNG , J. , GYUGYI , P. , WONG-TOI , H. and FRANKLIN , G. F. 1993 . Supervisory control of a rapid thermal multiprocessor . IEEE Transactions Automatic Control , 38 (7) : 1040 – 1059 .
- BOUDOL , G. , DE SIMONE , R. , ROY , V. and VERGAMINI , D. 1989 . “ Automatic verification methods for finite state systems ” . In Lecture Notes in Computer Science, 407 , 322 – 335 . Berlin : Springer .
- CERANS , K. , GODSKESEN , J. C. and LARSEN , K. G. 1993 . “ Timed modal specifications -- theory and tools ” . In Lecture Notes in Computer Science, 697 , 273 – 281 . Berlin : Springer .
- OHAPURLAT , V. , GIACCONE , T. , MONNERET , G. , PEREYROL , F. , PRUNET , F. and SIMOTTEL , D. 1993 . A structured model for specification of discrete events systems the ACSY model . Automatic Control Production Systems APII , 27 : 65 – 80 .
- CHARBONNIER , F. , ALLA , H. and DAVID , R. The supervised control of discrete event dynamic systems a new approach . Proceedings 34th Conference Decision and Control . New-Orleans. pp. 129 – 134 . USA : IEEE .
- DAVID , R. 1995 . Grafcet: a powerful tool for specification of logic controllers . IEEE Transactions Control System Technology , 3 : 253 – 268 .
- DE LOOR , P. 1996 . Du TTM/RTTL pour Ia validation des systèmes commandés par Grafcet , France : LAM, University of Reims . PhD thesis (in French)
- DE LOOR , P. , ZAYTOON , J. and VILLERMAIN-LECOLIER , G. 1997 . Abstractions and heuristics for the validation of Grafcet controlled systems . European Journal of Automation , 31 : 561 – 580 .
- DUMÉRY , J. J , FAURE , J. M. , FRACHET , J. P. , LAMPÉRIÈRE , S. and LOUNI , F. A tool for the structured modelling of discrete events systems behaviour: The Hypergrafcet . Proc. CESA'96 IMACS/IEEE Symposium on Discrete Events and Manufacturing Systems. Lille, France . Lille, France. pp. 519 – 524 . Gerf EC Lille .
- FRACHET , J. P. and COLOMBARI , G. 1993 . Elements for a semantics of the time in Grafcet and dynamic systems using non-standard analysis . Automatic Control Production Systems APII , 27 : 107 – 125 .
- GOLDBERG , A. and ROBSON , D. 1985 . Smalltalk-80: the Language and its Implementation , Menlo Park, , California : Addison Wesley .
- HENZINGER , T. A. , NICOLLIN , X. , SIFAKIS , J. and YOVINE , S. 1994 . Symbolic model checking for real-time systems . Information and Computation , 111 : 193 – 244 .
- IEC . 1988 . Preparation of Function Charts for Control Systems , International Electrotechnical Commission: Publication 848 Geneva, , Italy : IEC .
- JAFFAR , J. , MICHAYLOV , S. , STUCKEY , P. J. and YAP , R. 1992 . The CLP(R.) language and system . ACM Transactions on Programming Languages and Systems , 14 : 339 – 395 .
- KRISTENSEN , C. H. , ANDERSEN , J. H. and SKOU , A. Specification and automated verification of real-time behaviour -- a case study . 3rd. IFAC/IFIP Workshop AARTC . Ostend, Belgium. pp. 613 – 628 .
- KUMAR , R. 1991 . Supervisory synthesis techniques for discrete event dynamical systems , University of Texas . Thesis for PhD degree
- LE BORGNE , M. , LE GUERNIC , P. and BENVENISTE , A. Polynomial ideal theory methods in discrete events and hybrid dynamical systems . Proceedings 28th Conference Decision Control . Orlando. pp. 2695 – 2700 . IEEE .
- LHOSTE , P. , FAURE , J. M. , LESAGE , J. J. and ZAYTOON , J. 1997 . Comportement temporel du Grafcet . European Journal of Automation , 31 : 672 – 689 . (in French)
- MARCÉ , L. and LE PARC , P. 1993 . Defining the semantics of languages for programmable controllers with synchronous processes . Control Engineering Practice , 1 : 79 – 84 .
- MARCÉ , L. , L'HER , D. and LE PARC , P. Modelling and verification of temporized Grafcet . Proceedings CESA'96 IMACS/IEEE Symposium on Discrete Events and Manufacturing Systems. LiIIe, France . Lille, France. pp. 783 – 788 . Gerf EC Lille .
- McMILLAN , K. L. 1993 . Symbolic Model checking: an Approach to the State Explosion Problem , Norwell, MA, , USA : Kluwer Academic .
- MOREL , G. and LHOSTE , P. Outline for discrete part manufacturing engineering . Proceeding 7th Annual European Computer Conference . Paris, France. pp. 146 – 155 . IEEE . Paris
- OSTROFF , J. S. 1989 . Temporal Logic for Real Time Systems , London : Wiley .
- OSTROFF , J. S. and WONHAM , W. M. 1990 . A framework for real-time discrete event control . IEEE Transactions Automatic Control , 35 : 386 – 397 .
- PETERSON , J. L. 1981 . Petri Net Theory and the Modelling of Systems , London : Prentice Hall .
- RAMADGE , P. J. and WONHAM , W. M. 1989 . The control of discrete event systems . Proceedings of the IEEE , 77 : 81 – 98 .
- Ross , D.T. and SCHOMAN , K. E. 1977 . Structured analysis for requirements definition . IEEE Transactions S/W Engineering , 33 : 86 – 95 .
- ROUSSEL , J. M. 1994 . Analyse de Grafcets par génération logique de l'automate à états , France : LURPA, ENS-Cachan . PhD thesis (in French)
- ROUSSEL , J. M. and LESAGE , J. J. Validation and verification of Grafcets using finite state machine . Proceedings CESA'96 IMACS/IEEE Symposium on Discrete Events and Manufacturing Systems. Lille, France . Lille, France. pp. 765 – 770 . Gerf EC Lille .
- RUMBAUGH , J. , BLAHA , M. , PREMERLANI , W. , EDDY , F. and LORENSEN , W. 1991 . Object-oriented Modeling and Design , Englewood Cliffs, New Jersey : Prentice Hall .
- UTE . 1993 . Function Charts GRAFCET -- Extension of Basic Principles. Union technique d'Electricité: Publication UTE C03-191 , Paris : UTE .
- WILOZYNSKI , B. K. and WALLACE , B. K. 1992 . “ OOPS in real-time control applications ” . In Object Oriented Software for Manufacturing Systems , Edited by: Adiga , S. 194 – 229 . London : Chapman & Hall .
- ZAYTOON , J. 1996 . Specification and design of logic controllers for automated manufacturing systems . Robotics & CIM , 12 : 353 – 366 .
- ZAYTOON , J. 2000 . A contribution to the validation of Grafcet controlled systems . European Journal of Control , 6 : 488 – 506 .
- ZAYTOON , J. Applying the intervals logic and the object modeling technique into computer integrated manufacturing and engineering . 7th IFACI/FORS/IMACS Symposium on Large Scale Systems, London . Oxford. pp. 37 – 42 . Pergamon .
- ZAYTOON , J. and CARRÉ-MÉNÉTRIER , V. 2001 . Synthesis of control implementation for discrete manufacturing systems . International Journal of Production Research , 39 (2) : 329 – 345 .
- ZAYTOON , J. , DE LOOR , P. and VILLERMAIN-LECOLIER , G. Using a real-time framework to verify the properties of GRAFCET . Proceedings 3rd IFAC/IFIP Workshop AARTC'95 . Ostend, Belgium. pp. 233 – 238 .
- ZAYTOON , J. and VILLERMAIN-LECOLIER , G. 1997 . Two methods for the engineering of manufacturing systems . Control Engineering Practice , 5 : 185 – 198 .
- ZAYTOON , J. , NDJAB , C. and CARRÉ-MÉNÉTRIER , V. 1999 . Grafcet et graphes d'état: synthèse hors ligne de la commande . European Journal of Automation JESA , 33 (7) : 783 – 814 . (in French)
Reprints and Corporate Permissions
Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?
To request a reprint or corporate permissions for this article, please click on the relevant link below:
Academic Permissions
Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?
Obtain permissions instantly via Rightslink by clicking on the button below:
If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.
Related research
People also read lists articles that other readers of this article have read.
Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.
Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.