<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-03089833</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-15T16:42:56+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Control law for timed marked graph constrained by marking exclusion constraint OR/AND</title>
            <author role="aut">
              <persName>
                <forename type="first">Maen</forename>
                <surname>Atli</surname>
              </persName>
              <idno type="idhal" notation="numeric">764444</idno>
              <idno type="halauthorid" notation="string">565357-764444</idno>
              <idno type="IDREF">https://www.idref.fr/177350199</idno>
              <affiliation ref="#struct-189171"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Zied</forename>
                <surname>Achour</surname>
              </persName>
              <email type="md5">f575e985388d487959001c69a4e39d90</email>
              <email type="domain">univ-lorraine.fr</email>
              <idno type="idhal" notation="numeric">975333</idno>
              <idno type="halauthorid" notation="string">562675-975333</idno>
              <affiliation ref="#struct-528587"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Sava</surname>
              </persName>
              <email type="md5">66ef9992ba32c46dc83170a49ddc88b3</email>
              <email type="domain">univ-lorraine.fr</email>
              <idno type="idhal" notation="string">alexandre-sava</idno>
              <idno type="idhal" notation="numeric">739840</idno>
              <idno type="halauthorid" notation="string">9940-739840</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/E-6993-2016</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5263-4959</idno>
              <idno type="IDREF">https://www.idref.fr/061188700</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/E-6993-2016</idno>
              <affiliation ref="#struct-528587"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kondo Hloindo</forename>
                <surname>Adjallah</surname>
              </persName>
              <email type="md5">45b6fdb4f434bf803aad88eb1bb703d1</email>
              <email type="domain">univ-lorraine.fr</email>
              <idno type="idhal" notation="string">kondo-h-adjallah</idno>
              <idno type="idhal" notation="numeric">739229</idno>
              <idno type="halauthorid" notation="string">28788-739229</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/D-6945-2016</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7902-7991</idno>
              <idno type="IDREF">https://www.idref.fr/060234849</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/D-6945-2016</idno>
              <affiliation ref="#struct-528587"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Kondo Hloindo</forename>
                <surname>Adjallah</surname>
              </persName>
              <email type="md5">45b6fdb4f434bf803aad88eb1bb703d1</email>
              <email type="domain">univ-lorraine.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-12-28 20:11:18</date>
              <date type="whenModified">2026-02-07 05:20:35</date>
              <date type="whenReleased">2021-01-04 11:49:40</date>
              <date type="whenProduced">2011</date>
              <date type="whenEndEmbargoed">2020-12-28</date>
              <ref type="file" target="https://hal.univ-lorraine.fr/hal-03089833v1/document">
                <date notBefore="2020-12-28"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.univ-lorraine.fr/hal-03089833v1/file/2011BIPDI-AutCalc%20Atli_et_al%20%28Control%20law%20...%29.pdf" id="file-3089833-2703671">
                <date notBefore="2020-12-28"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="529337">
                <persName>
                  <forename>Kondo Hloindo</forename>
                  <surname>Adjallah</surname>
                </persName>
                <email type="md5">45b6fdb4f434bf803aad88eb1bb703d1</email>
                <email type="domain">univ-lorraine.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03089833</idno>
            <idno type="halUri">https://hal.univ-lorraine.fr/hal-03089833</idno>
            <idno type="halBibtex">atli:hal-03089833</idno>
            <idno type="halRefHtml">&lt;i&gt;Buletinul Institutului Politehnic din Lasi. Sectia IV, Automatica si Calculatoare&lt;/i&gt;, 2011, LVII (LXI) (4), pp.75-92</idno>
            <idno type="halRef">Buletinul Institutului Politehnic din Lasi. Sectia IV, Automatica si Calculatoare, 2011, LVII (LXI) (4), pp.75-92</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3089833-2703671"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-METZ">Université Paul Verlaine - Metz</idno>
            <idno type="stamp" n="LGIPM">Laboratoire de Génie Informatique, de Production et de Maintenance</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Control law for timed marked graph constrained by marking exclusion constraint OR/AND</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Maen</forename>
                    <surname>Atli</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">764444</idno>
                  <idno type="halauthorid" notation="string">565357-764444</idno>
                  <idno type="IDREF">https://www.idref.fr/177350199</idno>
                  <affiliation ref="#struct-189171"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Zied</forename>
                    <surname>Achour</surname>
                  </persName>
                  <email type="md5">f575e985388d487959001c69a4e39d90</email>
                  <email type="domain">univ-lorraine.fr</email>
                  <idno type="idhal" notation="numeric">975333</idno>
                  <idno type="halauthorid" notation="string">562675-975333</idno>
                  <affiliation ref="#struct-528587"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Sava</surname>
                  </persName>
                  <email type="md5">66ef9992ba32c46dc83170a49ddc88b3</email>
                  <email type="domain">univ-lorraine.fr</email>
                  <idno type="idhal" notation="string">alexandre-sava</idno>
                  <idno type="idhal" notation="numeric">739840</idno>
                  <idno type="halauthorid" notation="string">9940-739840</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/E-6993-2016</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5263-4959</idno>
                  <idno type="IDREF">https://www.idref.fr/061188700</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/E-6993-2016</idno>
                  <affiliation ref="#struct-528587"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kondo Hloindo</forename>
                    <surname>Adjallah</surname>
                  </persName>
                  <email type="md5">45b6fdb4f434bf803aad88eb1bb703d1</email>
                  <email type="domain">univ-lorraine.fr</email>
                  <idno type="idhal" notation="string">kondo-h-adjallah</idno>
                  <idno type="idhal" notation="numeric">739229</idno>
                  <idno type="halauthorid" notation="string">28788-739229</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/D-6945-2016</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7902-7991</idno>
                  <idno type="IDREF">https://www.idref.fr/060234849</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/D-6945-2016</idno>
                  <affiliation ref="#struct-528587"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="INCOMING">165832</idno>
                <title level="j">Buletinul Institutului Politehnic din Lasi. Sectia IV, Automatica si Calculatoare</title>
                <imprint>
                  <publisher>Universitatea Tehnică Gheorghe Asachi din Lasi</publisher>
                  <biblScope unit="volume">LVII (LXI)</biblScope>
                  <biblScope unit="issue">4</biblScope>
                  <biblScope unit="pp">75-92</biblScope>
                  <date type="datePub">2011</date>
                </imprint>
              </monogr>
              <ref type="publisher">http://www.ace.tuiasi.ro/index.php?page=678&amp;lang=en</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Component</term>
                <term xml:lang="en">Marking Exclusion Constraint</term>
                <term xml:lang="en">Timed Marked Graph</term>
                <term xml:lang="en">Control law</term>
                <term xml:lang="en">Petri nets</term>
                <term xml:lang="en">Discret Event System</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-au">Computer Science [cs]/Automatic Control Engineering</classCode>
              <classCode scheme="halDomain" n="info.info-sy">Computer Science [cs]/Systems and Control [cs.SY]</classCode>
              <classCode scheme="halDomain" n="info.info-pf">Computer Science [cs]/Performance [cs.PF]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We have already presented a contribution for synthesizing an approach of supervisory control for Discrete Event Systems (DES) modeled by Timed Place Marked Graphs subject to Marking Exclusion constraints. This paper is a continuation work in this area for building the control law for Discrete Event Systems (DES), where the time is taken into consideration. It solves a forbidden state problem characterized by one of both types of Marking Exclusion Constraint: MEC-Or and MEC-And. A computationally efficient technique to build the supervisor is proposed, which we take into consideration in the uncontrollable and/or unobservable nature of some events. From the initial state (as known marking), we build timetables that show us the timeline of tokens distribution over the system. These timetables help us build a Control Law Table (CLT). By analyzing this table, the supervisor may determine the moment of its intervention.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-189171" status="OLD">
          <idno type="IdRef">132782618</idno>
          <idno type="RNSR">199914409W</idno>
          <idno type="IdUnivLorraine">[UL]RSD--</idno>
          <orgName>Laboratoire de Génie Industriel, de Production et de Maintenance</orgName>
          <orgName type="acronym">LGIPM</orgName>
          <date type="start">2013-06-06</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Université de Lorraine - ENIM, UFR MIM Ile du Saulcy, CS 50128, 57045 Metz Cedex 01</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lgipm.univ-lorraine.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA3096" active="#struct-413289" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-528587" status="OLD">
          <orgName>Laboratoire de Génie Industriel et de Production de Metz</orgName>
          <orgName type="acronym">LGIPM</orgName>
          <date type="start">2009-01-01</date>
          <date type="end">2013-06-05</date>
          <desc>
            <address>
              <addrLine>Metz</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-300289" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300289" status="OLD">
          <orgName>Université Paul Verlaine - Metz</orgName>
          <orgName type="acronym">UPVM</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>