Grafcet: Behavioural Issues and Control Synthesis
This paper discusses the difficulties encountered in identifying the correct behaviour of Grafcet specifications in view of synthesising a correct control execution model. Formal algorithms for the synthesis of supervisory controllers related to Grafcet are also proposed. These algorithms consider t...
Saved in:
| Published in | European journal of control Vol. 8; no. 4; pp. 375 - 401 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Ltd
2002
Elsevier |
| Subjects | |
| Online Access | Get full text |
| ISSN | 0947-3580 1435-5671 |
| DOI | 10.3166/ejc.8.375-401 |
Cover
| Abstract | This paper discusses the difficulties encountered in identifying the correct behaviour of Grafcet specifications in view of synthesising a correct control execution model. Formal algorithms for the synthesis of supervisory controllers related to Grafcet are also proposed. These algorithms consider the constraints induced by the behaviour of the controlled plant so as to identify the required correct behaviour of Grafcet during control execution. The resulting control execution is deadlock-free, and represents the minimal possible restriction of the behaviour of a given Grafcet, subject to a number of specified constraints. |
|---|---|
| AbstractList | This paper discusses the difficulties encountered in identifying the correct behaviour of Grafcet specifications in view of synthesising a correct control execution model. Formal algorithms for the synthesis of supervisory controllers related to Grafcet are also proposed. These algorithms consider the constraints induced by the behaviour of the controlled plant so as to identify the required correct behaviour of Grafcet during control execution. The resulting control execution is deadlock-free, and represents the minimal possible restriction of the behaviour of a given Grafcet, subject to a number of specified constraints. |
| Author | Carré-Ménétriér, V. Zaytoon, J. |
| Author_xml | – sequence: 1 givenname: V. surname: Carré-Ménétriér fullname: Carré-Ménétriér, V. email: veronique.carre@univ-reims.fr – sequence: 2 givenname: J. surname: Zaytoon fullname: Zaytoon, J. email: janan.zaytoon@univ-reims.fr |
| BackLink | https://hal.science/hal-02111217$$DView record in HAL |
| BookMark | eNp1kEFLAzEQhYNUsNYeve_Vw9ZMstnseqtF20LBg3oO2WSWpqwbSbaF_ntTKh6EzhwGhvcevO-WjHrfIyH3QGccyvIRd2ZWzbgUeUHhioyh4CIXpYQRGdO6kDkXFb0h0xh3NA3nkHZMYBl0a3B4yp5xqw_O74PusnWMe4yZ7m228P0QfJe9H_thi9HFO3Ld6i7i9PdOyOfry8dilW_eluvFfJMbDvWQSyuZlMCAlVY21FpjqZBUsKK2jKKsJBa8NG3FGa8LlDXaptHaaGBNJVrDJ-ThnLvVnfoO7kuHo_LaqdV8o04_ygBSvjxA0uZnrQk-xoDtnwGoOuFRCY-qVMKjEp6k5__0xg16cKeu2nUXXfLswlT74DCoaBz2Bq0LaAZlvbvg_AFeMnxR |
| CitedBy_id | crossref_primary_10_1016_j_conengprac_2014_09_008 crossref_primary_10_3182_20060517_3_FR_2903_00164 crossref_primary_10_3182_20060926_3_PL_4904_00041 crossref_primary_10_3182_20130619_3_RU_3018_00188 crossref_primary_10_3182_20060621_3_ES_2905_00031 crossref_primary_10_1016_j_arcontrol_2017_03_004 crossref_primary_10_1080_02533839_2016_1215939 |
| Cites_doi | 10.1109/9.233154 10.1016/S0947-3580(00)71111-3 10.1016/S0278-6125(97)85673-7 10.1109/9.481527 10.1080/00207540010002388 10.1109/87.406973 10.1109/9.231459 10.1109/9.53517 10.1016/0005-1098(96)85546-4 10.1016/S0967-0661(97)00225-6 10.1109/5.21072 10.1109/87.748144 |
| ContentType | Journal Article |
| Copyright | 2002 European Control Association (EUCA) Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: 2002 European Control Association (EUCA) – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | AAYXX CITATION 1XC VOOES |
| DOI | 10.3166/ejc.8.375-401 |
| DatabaseName | CrossRef Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access) |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1435-5671 |
| EndPage | 401 |
| ExternalDocumentID | oai_HAL_hal_02111217v1 10_3166_ejc_8_375_401 S0947358002702331 |
| GroupedDBID | --M .~1 0R~ 1~. 29G 3V. 4.4 457 4G. 5GY 7-5 88I 8FE 8FG 8P~ 8R4 8R5 AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQXK AAXUO ABFRF ABJCF ABJNI ABMAC ABUWG ABXDB ABYKQ ACDAQ ACGFO ACGFS ACGOD ACIWK ACNNM ACRLP ADBBV ADEZE ADFRT ADMUD AEBSH AECPX AEFWE AEKER AENEX AFKRA AFKWA AFTJW AGHFR AGUBO AHJVU AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ ARAPS ASPBG AVWKF AXJTR AZFZN AZQEC BENPR BGLVJ BJAXD BKOJK BLXMC BPHCQ CCPQU CS3 DU5 DWQXO EBS EFJIC EFLBG EJD FDB FEDTE FGOYB FIRID FNPLU FYGXN GBLVA GNUQQ HCIFZ HVGLF HZ~ JJJVA K6V K7- KOM L6V M0N M2P M41 M7S MO0 O9- OAUVE P-8 P-9 P2P P62 PC. PQQKQ PROAC PTHSS Q2X R2- RIG ROL SDH SPC SPCBC SST SSZ T5K UNMZH ~4P ~G- AAQFI AATTM AAXKI AAYWO AAYXX ABWVN ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AFXIZ AGCQF AGQPQ AGRNS AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP BNPGV CITATION PHGZM PHGZT SSH 1XC VOOES |
| ID | FETCH-LOGICAL-c319t-7d727712126d7b0ddcd05705249d20e787e436cf832394e79edbbaaca12b85fc3 |
| IEDL.DBID | .~1 |
| ISSN | 0947-3580 |
| IngestDate | Fri May 09 12:25:50 EDT 2025 Tue Jul 01 03:49:50 EDT 2025 Thu Apr 24 22:54:48 EDT 2025 Fri Feb 23 02:25:28 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Keywords | Intersection Control synthesis Supervisory control theory Grafcet Behaviour Automata |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c319t-7d727712126d7b0ddcd05705249d20e787e436cf832394e79edbbaaca12b85fc3 |
| ORCID | 0000-0002-9576-9108 |
| OpenAccessLink | https://hal.science/hal-02111217 |
| PageCount | 27 |
| ParticipantIDs | hal_primary_oai_HAL_hal_02111217v1 crossref_primary_10_3166_ejc_8_375_401 crossref_citationtrail_10_3166_ejc_8_375_401 elsevier_sciencedirect_doi_10_3166_ejc_8_375_401 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2002 2002-1-00 |
| PublicationDateYYYYMMDD | 2002-01-01 |
| PublicationDate_xml | – year: 2002 text: 2002 |
| PublicationDecade | 2000 |
| PublicationTitle | European journal of control |
| PublicationYear | 2002 |
| Publisher | Elsevier Ltd Elsevier |
| Publisher_xml | – name: Elsevier Ltd – name: Elsevier |
| References | Giua (bib0060) 1996 Holloway, Krogh (bib0065) 1990; 35 Arinez, Benhabib, Smith, Brandin (bib0005) 1993 Kheir, Astrom, Auslander, Checok, Franklin, Masten, Rabins (bib0080) 1996; 32 (bib0070) 1988 Zaytoon, Carré-Ménétrier (bib0145) 1999; 33 Balemi, Hoffmann, Gyugyi, Wong-Toi, Franklin (bib0010) 1993; 38 Charbonnier, Alla, David (bib0040) 1999; 7 Carré-Ménétrier, Ndjab, Gellot, Zaytoon (bib0025) 1999 Zaytoon (bib0140) 2000; 6 David, Alia (bib0045) 1992 Chandra, Kumar (bib0030) 2001 Kumar R. Supervisory synthesis techniques for discrete event dynamical systems. Thesis for Ph.D. degree, University of Texas, 1991 Ramadge, Wonham (bib0115) 1989; 77 Frachet, Colombari (bib0055) 1993; 27 Lauzon, Ma, Mills, Benhabib (bib0095) 1997; 16 Kumar, Holloway (bib0090) 1996; 41 Lhoste, Faure, Lesage, Zaytoon (bib0100) 1997; 31 Zhou, Dicesare (bib0165) 1993 Baracos (bib0015) 1995 Roussel JM. Analyse de Grafcets par génération logique de l’automate équivalent. Thesis for Ph.D. degree, Ecole Normale supérieure de Cachan (France), 1994 (in French) (bib0130) 1993 Zaytoon, Villermain Lecolier (bib0160) 1997; 5 (bib0075) 1991 Zaytoon, Carré-Ménétrier (bib0150) 2001; 39 Li, Wonham (bib0105) 1993; 38 Zaytoon, Lesage, Marce, Faure, Lhoste (bib0155) 1997; 31 Ndjab Hagbebell C. Synthèse de la commande des systèmes à événements discrets par Grafcet. Thesis for Ph.D. degree, Université de Reims Champagne Ardenne (France), 1999 (in French) Chandra, Mohanty, Kumar (bib0035) 2000 David, Grafcet (bib0050) 1995; 3 Brandin, Wonham, Benhabib (bib0020) 1991 Roussel, Lesage (bib0125) 1996 Yamalidou, Moody, Lemmon, Antsaklis (bib0135) 1996 Zaytoon (10.3166/ejc.8.375-401_bib0155) 1997; 31 10.3166/ejc.8.375-401_bib0085 Chandra (10.3166/ejc.8.375-401_bib0030) 2001 10.3166/ejc.8.375-401_bib0120 David (10.3166/ejc.8.375-401_bib0045) 1992 Roussel (10.3166/ejc.8.375-401_bib0125) 1996 Carré-Ménétrier (10.3166/ejc.8.375-401_bib0025) 1999 Chandra (10.3166/ejc.8.375-401_bib0035) 2000 Ramadge (10.3166/ejc.8.375-401_bib0115) 1989; 77 Brandin (10.3166/ejc.8.375-401_bib0020) 1991 (10.3166/ejc.8.375-401_bib0070) 1988 Baracos (10.3166/ejc.8.375-401_bib0015) 1995 Holloway (10.3166/ejc.8.375-401_bib0065) 1990; 35 Zaytoon (10.3166/ejc.8.375-401_bib0160) 1997; 5 Zhou (10.3166/ejc.8.375-401_bib0165) 1993 Frachet (10.3166/ejc.8.375-401_bib0055) 1993; 27 Kheir (10.3166/ejc.8.375-401_bib0080) 1996; 32 10.3166/ejc.8.375-401_bib0110 Arinez (10.3166/ejc.8.375-401_bib0005) 1993 Kumar (10.3166/ejc.8.375-401_bib0090) 1996; 41 Lhoste (10.3166/ejc.8.375-401_bib0100) 1997; 31 Yamalidou (10.3166/ejc.8.375-401_bib0135) 1996 Zaytoon (10.3166/ejc.8.375-401_bib0150) 2001; 39 Charbonnier (10.3166/ejc.8.375-401_bib0040) 1999; 7 Li (10.3166/ejc.8.375-401_bib0105) 1993; 38 Zaytoon (10.3166/ejc.8.375-401_bib0140) 2000; 6 David (10.3166/ejc.8.375-401_bib0050) 1995; 3 (10.3166/ejc.8.375-401_bib0130) 1993 (10.3166/ejc.8.375-401_bib0075) 1991 Balemi (10.3166/ejc.8.375-401_bib0010) 1993; 38 Giua (10.3166/ejc.8.375-401_bib0060) 1996 Zaytoon (10.3166/ejc.8.375-401_bib0145) 1999; 33 Lauzon (10.3166/ejc.8.375-401_bib0095) 1997; 16 |
| References_xml | – start-page: 796 year: 1999 end-page: 801 ident: bib0025 article-title: A CASE tool for the synthesis of optimal control implementation of Grafcet publication-title: Proceedings 1999 IEEE International Conference on Systems, Man, and Cybernetics – year: 2001 ident: bib0030 article-title: A new modeling formalism and automata model generator for a class of discrete event systems publication-title: Proceedings of the American Control Conference – volume: 31 start-page: 713 year: 1997 end-page: 740 ident: bib0155 article-title: Vérification et validation du Grafcet publication-title: European Journal of Automation J. E. S. A – volume: 77 start-page: 81 year: 1989 end-page: 97 ident: bib0115 article-title: The control of discrete-event systems publication-title: Proceedings of the IEEE – year: 1988 ident: bib0070 article-title: Preparation of function charts for control systems – reference: Roussel JM. Analyse de Grafcets par génération logique de l’automate équivalent. Thesis for Ph.D. degree, Ecole Normale supérieure de Cachan (France), 1994 (in French) – year: 1996 ident: bib0060 publication-title: Proceedings of the 1st International Workshop on Manufacturing and Petri Nets – volume: 27 start-page: 107 year: 1993 end-page: 125 ident: bib0055 article-title: Elements for a semantics of the time in Grafcet and dynamic systems using non-standard analysis publication-title: Autom Control Prod Syst F A.P.I.I – volume: 35 start-page: 514 year: 1990 end-page: 523 ident: bib0065 article-title: Synthesis of feedback control logic for a class of controlled Petri nets publication-title: IEEE Trans Autom Control – start-page: 3 year: 1995 end-page: 8 ident: bib0015 article-title: Automation engineering in north America publication-title: Proceedings of the 2nd International Conference on Industrial Automation – volume: 5 start-page: 185 year: 1997 end-page: 198 ident: bib0160 article-title: Two methods for the engineering of manufacturing systems publication-title: Control Eng Pract – volume: 38 start-page: 1214 year: 1993 end-page: 1227 ident: bib0105 article-title: Control of vector discrete-event systems I - the base model publication-title: IEEE Trans Autom Control – volume: 31 start-page: 695 year: 1997 end-page: 711 ident: bib0100 article-title: Comportement temporel du Grafcet publication-title: Eur J Autom J. E. S. A – volume: 39 start-page: 329 year: 2001 end-page: 345 ident: bib0150 article-title: Synthesis of a correct control implementation for manufacturing systems publication-title: Int J Prod Res – volume: 38 start-page: 1040 year: 1993 end-page: 1059 ident: bib0010 article-title: Supervisory control of a rapid thermal multiprocessor publication-title: IEEE Trans Autom Control – volume: 32 start-page: 147 year: 1996 end-page: 166 ident: bib0080 article-title: Control systems engineering education publication-title: Automatica – volume: 16 start-page: 91 year: 1997 end-page: 101 ident: bib0095 article-title: An implementation methodology for the supervisory control of flexible manufacturing workcells publication-title: J Manuf Syst – start-page: 765 year: 1996 end-page: 770 ident: bib0125 article-title: Validation and verification of Grafcet using finite state machine publication-title: Proceedings CESA’96 IMACS/IEEE Symposium on Discrete. Events & Manufacturing Systems – start-page: 527 year: 1991 end-page: 536 ident: bib0020 article-title: Discrete event system supervisory control applied to the management of manufacturing workcells publication-title: Comp-Aided Prod Eng – start-page: 32 year: 1996 ident: bib0135 article-title: Feedback control of Petri Nets based on place invariants publication-title: Automatica – volume: 6 start-page: 488 year: 2000 end-page: 506 ident: bib0140 article-title: A contribution to the validation of Grafcet controlled systems publication-title: European Journal of Control – reference: Kumar R. Supervisory synthesis techniques for discrete event dynamical systems. Thesis for Ph.D. degree, University of Texas, 1991 – year: 1993 ident: bib0005 article-title: Design of a PLC-based supervisory-control system for a manufacturing workcell publication-title: Proceedings of the Canadian High Technology Show and Conference – year: 1991 ident: bib0075 article-title: Preparation of function charts for control systems – volume: 41 start-page: 245 year: 1996 end-page: 249 ident: bib0090 article-title: Supervisory control of Petri nets with regular specification languages publication-title: IEEE Trans Autom Control – volume: 7 start-page: 175 year: 1999 end-page: 187 ident: bib0040 article-title: The supervised control of discrete-event dynamic systems publication-title: IEEE Trans Control Syst Tech – year: 1993 ident: bib0130 article-title: Function charts GRAFCET - extension of basic principles – year: 1992 ident: bib0045 article-title: Petri nets and Grafcet: tools for modelling of discrete-event systems – year: 1993 ident: bib0165 article-title: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems – reference: Ndjab Hagbebell C. Synthèse de la commande des systèmes à événements discrets par Grafcet. Thesis for Ph.D. degree, Université de Reims Champagne Ardenne (France), 1999 (in French) – volume: 3 start-page: 253 year: 1995 end-page: 268 ident: bib0050 article-title: A powerful tool for specification of logic controllers publication-title: IEEE Trans Control Systems Technology – volume: 33 start-page: 751 year: 1999 end-page: 782 ident: bib0145 article-title: Grafcet et graphes d’état: comportement, raffinement, vérification et validation publication-title: Eur J Autom J. E. S. A – year: 2000 ident: bib0035 article-title: Discrete event modeling and control of an assembly line built using LEGO Blocks. IEEE Trans Syst publication-title: Man Cybernet Part C – start-page: 527 year: 1991 ident: 10.3166/ejc.8.375-401_bib0020 article-title: Discrete event system supervisory control applied to the management of manufacturing workcells – volume: 38 start-page: 1214 year: 1993 ident: 10.3166/ejc.8.375-401_bib0105 article-title: Control of vector discrete-event systems I - the base model publication-title: IEEE Trans Autom Control doi: 10.1109/9.233154 – year: 1996 ident: 10.3166/ejc.8.375-401_bib0060 publication-title: Petri net techniques for supervisory control of discrete event systems – volume: 6 start-page: 488 year: 2000 ident: 10.3166/ejc.8.375-401_bib0140 article-title: A contribution to the validation of Grafcet controlled systems publication-title: European Journal of Control doi: 10.1016/S0947-3580(00)71111-3 – year: 1993 ident: 10.3166/ejc.8.375-401_bib0165 – volume: 16 start-page: 91 year: 1997 ident: 10.3166/ejc.8.375-401_bib0095 article-title: An implementation methodology for the supervisory control of flexible manufacturing workcells publication-title: J Manuf Syst doi: 10.1016/S0278-6125(97)85673-7 – start-page: 3 year: 1995 ident: 10.3166/ejc.8.375-401_bib0015 article-title: Automation engineering in north America – year: 2000 ident: 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 publication-title: Man Cybernet Part C – volume: 31 start-page: 713 year: 1997 ident: 10.3166/ejc.8.375-401_bib0155 article-title: Vérification et validation du Grafcet publication-title: European Journal of Automation J. E. S. A – start-page: 796 year: 1999 ident: 10.3166/ejc.8.375-401_bib0025 article-title: A CASE tool for the synthesis of optimal control implementation of Grafcet – volume: 41 start-page: 245 year: 1996 ident: 10.3166/ejc.8.375-401_bib0090 article-title: Supervisory control of Petri nets with regular specification languages publication-title: IEEE Trans Autom Control doi: 10.1109/9.481527 – volume: 39 start-page: 329 year: 2001 ident: 10.3166/ejc.8.375-401_bib0150 article-title: Synthesis of a correct control implementation for manufacturing systems publication-title: Int J Prod Res doi: 10.1080/00207540010002388 – start-page: 765 year: 1996 ident: 10.3166/ejc.8.375-401_bib0125 article-title: Validation and verification of Grafcet using finite state machine – year: 1991 ident: 10.3166/ejc.8.375-401_bib0075 – volume: 3 start-page: 253 year: 1995 ident: 10.3166/ejc.8.375-401_bib0050 article-title: A powerful tool for specification of logic controllers publication-title: IEEE Trans Control Systems Technology doi: 10.1109/87.406973 – volume: 38 start-page: 1040 year: 1993 ident: 10.3166/ejc.8.375-401_bib0010 article-title: Supervisory control of a rapid thermal multiprocessor publication-title: IEEE Trans Autom Control doi: 10.1109/9.231459 – volume: 35 start-page: 514 year: 1990 ident: 10.3166/ejc.8.375-401_bib0065 article-title: Synthesis of feedback control logic for a class of controlled Petri nets publication-title: IEEE Trans Autom Control doi: 10.1109/9.53517 – ident: 10.3166/ejc.8.375-401_bib0110 – year: 2001 ident: 10.3166/ejc.8.375-401_bib0030 article-title: A new modeling formalism and automata model generator for a class of discrete event systems – ident: 10.3166/ejc.8.375-401_bib0085 – start-page: 32 year: 1996 ident: 10.3166/ejc.8.375-401_bib0135 article-title: Feedback control of Petri Nets based on place invariants publication-title: Automatica – year: 1992 ident: 10.3166/ejc.8.375-401_bib0045 – year: 1993 ident: 10.3166/ejc.8.375-401_bib0130 – ident: 10.3166/ejc.8.375-401_bib0120 – volume: 32 start-page: 147 year: 1996 ident: 10.3166/ejc.8.375-401_bib0080 article-title: Control systems engineering education publication-title: Automatica doi: 10.1016/0005-1098(96)85546-4 – volume: 27 start-page: 107 year: 1993 ident: 10.3166/ejc.8.375-401_bib0055 article-title: Elements for a semantics of the time in Grafcet and dynamic systems using non-standard analysis publication-title: Autom Control Prod Syst F A.P.I.I – year: 1993 ident: 10.3166/ejc.8.375-401_bib0005 article-title: Design of a PLC-based supervisory-control system for a manufacturing workcell – year: 1988 ident: 10.3166/ejc.8.375-401_bib0070 – volume: 5 start-page: 185 year: 1997 ident: 10.3166/ejc.8.375-401_bib0160 article-title: Two methods for the engineering of manufacturing systems publication-title: Control Eng Pract doi: 10.1016/S0967-0661(97)00225-6 – volume: 31 start-page: 695 year: 1997 ident: 10.3166/ejc.8.375-401_bib0100 article-title: Comportement temporel du Grafcet publication-title: Eur J Autom J. E. S. A – volume: 77 start-page: 81 year: 1989 ident: 10.3166/ejc.8.375-401_bib0115 article-title: The control of discrete-event systems publication-title: Proceedings of the IEEE doi: 10.1109/5.21072 – volume: 33 start-page: 751 year: 1999 ident: 10.3166/ejc.8.375-401_bib0145 article-title: Grafcet et graphes d’état: comportement, raffinement, vérification et validation publication-title: Eur J Autom J. E. S. A – volume: 7 start-page: 175 year: 1999 ident: 10.3166/ejc.8.375-401_bib0040 article-title: The supervised control of discrete-event dynamic systems publication-title: IEEE Trans Control Syst Tech doi: 10.1109/87.748144 |
| SSID | ssj0000331313 |
| Score | 1.6595705 |
| Snippet | This paper discusses the difficulties encountered in identifying the correct behaviour of Grafcet specifications in view of synthesising a correct control... |
| SourceID | hal crossref elsevier |
| SourceType | Open Access Repository Enrichment Source Index Database Publisher |
| StartPage | 375 |
| SubjectTerms | Automata Automatic Behaviour Control synthesis Engineering Sciences Grafcet Intersection Supervisory control theory |
| Title | Grafcet: Behavioural Issues and Control Synthesis |
| URI | https://dx.doi.org/10.3166/ejc.8.375-401 https://hal.science/hal-02111217 |
| Volume | 8 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELZKWWBAPEV5VBFCTKSN41fKVlVAeHUplbpZju2IIhSqNiCx8Ns551HB0IHVsa3oi333neP7DqHzSIQK3Fzgg2-1PrXGJStT4gujYU1TEva0S3B-GvJ4TO8nbNJAgzoXxl2rrGx_adMLa121dCs0u7PptDuCwES4n3iBS6kiRS41hRZY051vvDxnCeAJKaskQ3_fDSilNgnmvGtfdSfqEMEgjsKrXNPaS33IWjidm220VbFFr1--0A5q2GwXbf7SENxD-HauUm3zK6-SOnQ6Gl5ZVM9TmfEG5WV0b_SVAdlbTBf7aHxz_TyI_aoOgq9hg-SAG5AMgcHJcCOSwBhtgGUFDCInEwYWtpylhOsUNifpUSt61iSJUlrhMIlYqskBambvmT1EnmDMWgzGFvOECs5VkArDWMJShhWNdAtd1hBIXYmEu1oVbxKCBYeYBMRkJAExCYi10MWy-6xUx1jVMajxlH8-rwTLvWrIGeC-nNbJYMf9R-nagJcATcTiEx_9f95jtFFUdCmOUU5QM59_2FMgFnnSLlZOG6337x7i4Q9K8cnf |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELZKGYAB8RTlGSHERFo7tuOUraooAdoubSU2K7EdUYRC1QYkFn475zwqGDqwOj4r-mLfw7n7DqGrQHgRmDnsgm01LjPaFisz6gqtYE8z6rWVLXAeDP1wwh6f-XMNdataGJtWWer-Qqfn2rocaZVotmbTaWsEgYmwP_GwLamitpZ6nXEqbF5f85ssL1owPKJFm2QQcK1EwbVJie-3zKtqBk2QgkCKrLJNay_VLWtudXo7aLt0F51O8Ua7qGbSPbT1i0RwH5H7eZQok906JdehJdJwiq56TpRqp1tkozujrxS8vcV0cYAmvbtxN3TLRgiughOSAXDgZQgCVsbXIsZaKw1uFuYQOmkPGzhzhlFfJXA6aZsZ0TY6jqNIRcSLA54oeojq6XtqjpAjODeGgLYlfsyE70c4EZrzmCecRCxQDXRTQSBVyRJum1W8SYgWLGISEJOBBMQkINZA18vps4IeY9VEXOEp_3xfCap7lcgl4L5c1vJgh52-tGPgmICfSMQnOf7_uhdoIxwP-rL_MHw6QZt5e5f8TuUU1bP5hzkDLyOLz_Nd9AMqTsty |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Grafcet%3A+Behavioural+Issues+and+Control+Synthesis&rft.jtitle=European+journal+of+control&rft.au=Carr%C3%A9-M%C3%A9n%C3%A9trier%2C+V%C3%A9ronique&rft.au=Zaytoon%2C+J.&rft.date=2002&rft.pub=Elsevier&rft.issn=0947-3580&rft.volume=8&rft.spage=375&rft.epage=401&rft_id=info:doi/10.3166%2Fejc.8.375-401&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai_HAL_hal_02111217v1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0947-3580&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0947-3580&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0947-3580&client=summon |