{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:13:41Z","timestamp":1771701221415,"version":"3.50.1"},"reference-count":33,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["European Journal of Control"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.3166\/ejc.8.375-401","type":"journal-article","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T09:13:04Z","timestamp":1182589984000},"page":"375-401","source":"Crossref","is-referenced-by-count":16,"title":["Grafcet: Behavioural Issues and Control Synthesis"],"prefix":"10.1016","volume":"8","author":[{"given":"V.","family":"Carr\u00e9-M\u00e9n\u00e9tri\u00e9r","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Zaytoon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.3166\/ejc.8.375-401_bib0005","series-title":"Proceedings of the Canadian High Technology Show and Conference","article-title":"Design of a PLC-based supervisory-control system for a manufacturing workcell","author":"Arinez","year":"1993"},{"key":"10.3166\/ejc.8.375-401_bib0010","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1109\/9.231459","article-title":"Supervisory control of a rapid thermal multiprocessor","volume":"38","author":"Balemi","year":"1993","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.8.375-401_bib0015","series-title":"Proceedings of the 2nd International Conference on Industrial Automation","first-page":"3","article-title":"Automation engineering in north America","author":"Baracos","year":"1995"},{"key":"10.3166\/ejc.8.375-401_bib0020","series-title":"Comp-Aided Prod Eng","first-page":"527","article-title":"Discrete event system supervisory control applied to the management of manufacturing workcells","author":"Brandin","year":"1991"},{"key":"10.3166\/ejc.8.375-401_bib0025","series-title":"Proceedings 1999 IEEE International Conference on Systems, Man, and Cybernetics","first-page":"796","article-title":"A CASE tool for the synthesis of optimal control implementation of Grafcet","author":"Carr\u00e9-M\u00e9n\u00e9trier","year":"1999"},{"key":"10.3166\/ejc.8.375-401_bib0030","series-title":"Proceedings of the American Control Conference","article-title":"A new modeling formalism and automata model generator for a class of discrete event systems","author":"Chandra","year":"2001"},{"key":"10.3166\/ejc.8.375-401_bib0035","article-title":"Discrete event modeling and control of an assembly line built using LEGO Blocks. IEEE Trans Syst","author":"Chandra","year":"2000","journal-title":"Man Cybernet Part C"},{"key":"10.3166\/ejc.8.375-401_bib0040","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1109\/87.748144","article-title":"The supervised control of discrete-event dynamic systems","volume":"7","author":"Charbonnier","year":"1999","journal-title":"IEEE Trans Control Syst Tech"},{"key":"10.3166\/ejc.8.375-401_bib0045","series-title":"Petri nets and Grafcet: tools for modelling of discrete-event systems","author":"David","year":"1992"},{"key":"10.3166\/ejc.8.375-401_bib0050","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/87.406973","article-title":"A powerful tool for specification of logic controllers","volume":"3","author":"David","year":"1995","journal-title":"IEEE Trans Control Systems Technology"},{"key":"10.3166\/ejc.8.375-401_bib0055","first-page":"107","article-title":"Elements for a semantics of the time in Grafcet and dynamic systems using non-standard analysis","volume":"27","author":"Frachet","year":"1993","journal-title":"Autom Control Prod Syst F A.P.I.I"},{"key":"10.3166\/ejc.8.375-401_bib0060","author":"Giua","year":"1996","journal-title":"Petri net techniques for supervisory control of discrete event systems"},{"key":"10.3166\/ejc.8.375-401_bib0065","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/9.53517","article-title":"Synthesis of feedback control logic for a class of controlled Petri nets","volume":"35","author":"Holloway","year":"1990","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.8.375-401_bib0070","series-title":"Preparation of function charts for control systems","year":"1988"},{"key":"10.3166\/ejc.8.375-401_bib0075","series-title":"Preparation of function charts for control systems","year":"1991"},{"key":"10.3166\/ejc.8.375-401_bib0080","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0005-1098(96)85546-4","article-title":"Control systems engineering education","volume":"32","author":"Kheir","year":"1996","journal-title":"Automatica"},{"key":"10.3166\/ejc.8.375-401_bib0085","unstructured":"Kumar R. Supervisory synthesis techniques for discrete event dynamical systems. Thesis for Ph.D. degree, University of Texas, 1991"},{"key":"10.3166\/ejc.8.375-401_bib0090","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1109\/9.481527","article-title":"Supervisory control of Petri nets with regular specification languages","volume":"41","author":"Kumar","year":"1996","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.8.375-401_bib0095","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/S0278-6125(97)85673-7","article-title":"An implementation methodology for the supervisory control of flexible manufacturing workcells","volume":"16","author":"Lauzon","year":"1997","journal-title":"J Manuf Syst"},{"key":"10.3166\/ejc.8.375-401_bib0100","first-page":"695","article-title":"Comportement temporel du Grafcet","volume":"31","author":"Lhoste","year":"1997","journal-title":"Eur J Autom J. E. S. A"},{"key":"10.3166\/ejc.8.375-401_bib0105","doi-asserted-by":"crossref","first-page":"1214","DOI":"10.1109\/9.233154","article-title":"Control of vector discrete-event systems I - the base model","volume":"38","author":"Li","year":"1993","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.8.375-401_bib0110","unstructured":"Ndjab Hagbebell C. Synth\u00e8se de la commande des syst\u00e8mes \u00e0 \u00e9v\u00e9nements discrets par Grafcet. Thesis for Ph.D. degree, Universit\u00e9 de Reims Champagne Ardenne (France), 1999 (in French)"},{"key":"10.3166\/ejc.8.375-401_bib0115","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","article-title":"The control of discrete-event systems","volume":"77","author":"Ramadge","year":"1989","journal-title":"Proceedings of the IEEE"},{"key":"10.3166\/ejc.8.375-401_bib0120","unstructured":"Roussel JM. Analyse de Grafcets par g\u00e9n\u00e9ration logique de l\u2019automate \u00e9quivalent. Thesis for Ph.D. degree, Ecole Normale sup\u00e9rieure de Cachan (France), 1994 (in French)"},{"key":"10.3166\/ejc.8.375-401_bib0125","series-title":"Proceedings CESA\u201996 IMACS\/IEEE Symposium on Discrete. Events & Manufacturing Systems","first-page":"765","article-title":"Validation and verification of Grafcet using finite state machine","author":"Roussel","year":"1996"},{"key":"10.3166\/ejc.8.375-401_bib0130","series-title":"Function charts GRAFCET - extension of basic principles","year":"1993"},{"key":"10.3166\/ejc.8.375-401_bib0135","first-page":"32","article-title":"Feedback control of Petri Nets based on place invariants","author":"Yamalidou","year":"1996","journal-title":"Automatica"},{"key":"10.3166\/ejc.8.375-401_bib0140","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1016\/S0947-3580(00)71111-3","article-title":"A contribution to the validation of Grafcet controlled systems","volume":"6","author":"Zaytoon","year":"2000","journal-title":"European Journal of Control"},{"key":"10.3166\/ejc.8.375-401_bib0145","first-page":"751","article-title":"Grafcet et graphes d\u2019\u00e9tat: comportement, raffinement, v\u00e9rification et validation","volume":"33","author":"Zaytoon","year":"1999","journal-title":"Eur J Autom J. E. S. A"},{"key":"10.3166\/ejc.8.375-401_bib0150","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1080\/00207540010002388","article-title":"Synthesis of a correct control implementation for manufacturing systems","volume":"39","author":"Zaytoon","year":"2001","journal-title":"Int J Prod Res"},{"key":"10.3166\/ejc.8.375-401_bib0155","first-page":"713","article-title":"V\u00e9rification et validation du Grafcet","volume":"31","author":"Zaytoon","year":"1997","journal-title":"European Journal of Automation J. E. S. A"},{"key":"10.3166\/ejc.8.375-401_bib0160","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0967-0661(97)00225-6","article-title":"Two methods for the engineering of manufacturing systems","volume":"5","author":"Zaytoon","year":"1997","journal-title":"Control Eng Pract"},{"key":"10.3166\/ejc.8.375-401_bib0165","series-title":"Petri Net Synthesis for Discrete Event Control of Manufacturing Systems","author":"Zhou","year":"1993"}],"container-title":["European Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358002702331?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358002702331?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,6]],"date-time":"2019-01-06T13:22:41Z","timestamp":1546780961000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0947358002702331"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["S0947358002702331"],"URL":"https:\/\/doi.org\/10.3166\/ejc.8.375-401","relation":{},"ISSN":["0947-3580"],"issn-type":[{"value":"0947-3580","type":"print"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}