<?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-02479661</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-13T13:39:51+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">On the enforcement of a class of nonlinear constraints on Petri nets</title>
            <author role="aut">
              <persName>
                <forename type="first">Yufeng</forename>
                <surname>Chen</surname>
              </persName>
              <email type="md5">513062ddde6f0db0df81adf4f8cc7796</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">964675</idno>
              <idno type="halauthorid" notation="string">895184-964675</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1568-3444</idno>
              <idno type="IDREF">https://www.idref.fr/191687723</idno>
              <affiliation ref="#struct-553461"/>
              <affiliation ref="#struct-469153"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Zhiwu</forename>
                <surname>Li</surname>
              </persName>
              <idno type="idhal" notation="numeric">773377</idno>
              <idno type="halauthorid" notation="string">895185-773377</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1547-5503</idno>
              <affiliation ref="#struct-469153"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kamel</forename>
                <surname>Barkaoui</surname>
              </persName>
              <email type="md5">ca46212b8d9478aeaa0f8e2cd3d74e05</email>
              <email type="domain">cnam.fr</email>
              <idno type="idhal" notation="string">kamel-barkaoui</idno>
              <idno type="idhal" notation="numeric">182238</idno>
              <idno type="halauthorid" notation="string">28876-182238</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7175-0448</idno>
              <idno type="IDREF">https://www.idref.fr/033470677</idno>
              <affiliation ref="#struct-553461"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alessandro</forename>
                <surname>Giua</surname>
              </persName>
              <idno type="halauthorid">143944-0</idno>
              <affiliation ref="#struct-128842"/>
              <affiliation ref="#struct-199402"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Kamel</forename>
                <surname>BarkaouiI</surname>
              </persName>
              <email type="md5">5fb946c67253fcb2b7963834a288dda4</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-04-15 15:54:52</date>
              <date type="whenModified">2026-01-24 03:35:14</date>
              <date type="whenReleased">2020-04-20 09:28:47</date>
              <date type="whenProduced">2015-05</date>
              <date type="whenEndEmbargoed">2020-04-15</date>
              <ref type="file" target="https://hal.science/hal-02479661v1/document">
                <date notBefore="2020-04-15"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02479661v1/file/15aut_b_draft.pdf" id="file-2543761-2411316">
                <date notBefore="2020-04-15"/>
              </ref>
              <ref type="externalLink" target="https://iris.unica.it/bitstream/11584/61135/1/15aut_b_draft.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="464053">
                <persName>
                  <forename>Kamel</forename>
                  <surname>BarkaouiI</surname>
                </persName>
                <email type="md5">5fb946c67253fcb2b7963834a288dda4</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02479661</idno>
            <idno type="halUri">https://hal.science/hal-02479661</idno>
            <idno type="halBibtex">chen:hal-02479661</idno>
            <idno type="halRefHtml">&lt;i&gt;Automatica&lt;/i&gt;, 2015, 55, pp.116-124. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.automatica.2015.02.014"&gt;&amp;#x27E8;10.1016/j.automatica.2015.02.014&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Automatica, 2015, 55, pp.116-124. &amp;#x27E8;10.1016/j.automatica.2015.02.014&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2543761-2411316"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLN">Université de Toulon</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-AMU">Aix Marseille Université</idno>
            <idno type="stamp" n="CNAM">Conservatoire National des Arts et Métiers</idno>
            <idno type="stamp" n="LSIS">Laboratoire des Sciences de l'Information et des Systèmes</idno>
            <idno type="stamp" n="LIS-LAB">Laboratoire d'Informatique et Systèmes</idno>
            <idno type="stamp" n="CEDRIC-CNAM" corresp="CNAM">Centre d'études et de recherche en informatique et communications </idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="HESAM-CNAM" corresp="HESAM">Conservatoire National des Arts et Métiers - Hesam</idno>
            <idno type="stamp" n="HESAM">Hesam</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">On the enforcement of a class of nonlinear constraints on Petri nets</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Yufeng</forename>
                    <surname>Chen</surname>
                  </persName>
                  <email type="md5">513062ddde6f0db0df81adf4f8cc7796</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">964675</idno>
                  <idno type="halauthorid" notation="string">895184-964675</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1568-3444</idno>
                  <idno type="IDREF">https://www.idref.fr/191687723</idno>
                  <affiliation ref="#struct-553461"/>
                  <affiliation ref="#struct-469153"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Zhiwu</forename>
                    <surname>Li</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">773377</idno>
                  <idno type="halauthorid" notation="string">895185-773377</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1547-5503</idno>
                  <affiliation ref="#struct-469153"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kamel</forename>
                    <surname>Barkaoui</surname>
                  </persName>
                  <email type="md5">ca46212b8d9478aeaa0f8e2cd3d74e05</email>
                  <email type="domain">cnam.fr</email>
                  <idno type="idhal" notation="string">kamel-barkaoui</idno>
                  <idno type="idhal" notation="numeric">182238</idno>
                  <idno type="halauthorid" notation="string">28876-182238</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7175-0448</idno>
                  <idno type="IDREF">https://www.idref.fr/033470677</idno>
                  <affiliation ref="#struct-553461"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alessandro</forename>
                    <surname>Giua</surname>
                  </persName>
                  <idno type="halauthorid">143944-0</idno>
                  <affiliation ref="#struct-128842"/>
                  <affiliation ref="#struct-199402"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">10940</idno>
                <idno type="issn">0005-1098</idno>
                <title level="j">Automatica</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">55</biblScope>
                  <biblScope unit="pp">116-124</biblScope>
                  <date type="datePub">2015-05</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.automatica.2015.02.014</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-sy">Computer Science [cs]/Systems and Control [cs.SY]</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>This paper focuses on the enforcement of nonlinear constraints in Petri nets. First, a supervisory structure is proposed for a nonlinear constraint. The proposed structure consists of added places and transitions. It controls the transitions in the net to be controlled only but does not change its states since there is no arc between the added transitions and the places in the original net. Second, an integer linear programming model is proposed to transform a nonlinear constraint to a minimal number of conjunc-tive linear constraints that have the same control performance as the nonlinear one. By using a place invariant based method, the obtained linear constraints can be easily enforced by a set of control places. The control places consist to a supervisor that can enforce the given nonlinear constraint. On condition that the admissible markings space of a nonlinear constraint is non-convex, another integer linear programming model is developed to obtain a minimal number of constraints whose disjunctions are equivalent to the nonlinear constraint. Finally, a number of examples are provided to demonstrate the proposed approach.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-553461" status="VALID">
          <orgName>CEDRIC. Systèmes sûrs</orgName>
          <orgName type="acronym">CEDRIC - SYS</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://cedric.cnam.fr/index.php/labo/SYS</ref>
          </desc>
          <listRelation>
            <relation active="#struct-16574" type="direct"/>
            <relation name="EA4629" active="#struct-179741" type="indirect"/>
            <relation name="EA4629" active="#struct-300351" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-469153" status="VALID">
          <idno type="ROR">https://ror.org/05s92vm98</idno>
          <orgName>Xidian University</orgName>
          <date type="start">2016-10-21</date>
          <desc>
            <address>
              <addrLine>Xi'an</addrLine>
              <country key="CN"/>
            </address>
            <ref type="url">https://en.xidian.edu.cn/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-128842" status="VALID">
          <orgName>Department of Electrical and Electronic Engineering [University of Cagliari]</orgName>
          <orgName type="acronym">DIEE</orgName>
          <desc>
            <address>
              <addrLine>Piazza d'Armi, 09123, Cagliari</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.diee.unica.it/en/dipartimento_idx.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-204422" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-199402" status="OLD">
          <idno type="IdRef">150137125</idno>
          <idno type="RNSR">201220329Z</idno>
          <orgName>Laboratoire des Sciences de l'Information et des Systèmes</orgName>
          <orgName type="acronym">LSIS</orgName>
          <date type="start">2012-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine Universitaire de Saint-JérômeBatiment PolytechAvenue Escadrille Normandie-Niemen13397 MARSEILLE CEDEX 20</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lsis.org</ref>
          </desc>
          <listRelation>
            <relation name="UMR7296" active="#struct-198056" type="direct"/>
            <relation name="UMR7296" active="#struct-303091" type="direct"/>
            <relation name="UMR7296" active="#struct-303092" type="direct"/>
            <relation name="UMR7296" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-16574" status="VALID">
          <idno type="IdRef">155463381</idno>
          <idno type="RNSR">201119480F</idno>
          <idno type="ROR">https://ror.org/044j5mm75</idno>
          <orgName>Centre d'études et de recherche en informatique et communications</orgName>
          <orgName type="acronym">CEDRIC</orgName>
          <desc>
            <address>
              <addrLine>292 rue Saint-Martin 75141 PARIS Cedex 03Case courrier 2D4P30</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://cedric.cnam.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA4629" active="#struct-179741" type="direct"/>
            <relation name="EA4629" active="#struct-300351" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-179741" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise</orgName>
          <orgName type="acronym">ENSIIE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensiie.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300351" status="VALID">
          <idno type="IdRef">027404978</idno>
          <idno type="ISNI">0000000121690459</idno>
          <idno type="ROR">https://ror.org/0175hh227</idno>
          <orgName>Conservatoire National des Arts et Métiers [Cnam]</orgName>
          <orgName type="acronym">Cnam</orgName>
          <desc>
            <address>
              <addrLine>292 Rue Saint-Martin, 75003 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cnam.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-204422" status="VALID">
          <idno type="IdRef">026430517</idno>
          <idno type="ISNI">0000 0004 1755 3242</idno>
          <idno type="ROR">https://ror.org/003109y17</idno>
          <idno type="Wikidata">Q2067315</idno>
          <orgName>Università degli Studi di Cagliari = University of Cagliari = Université de Cagliari</orgName>
          <orgName type="acronym">UniCa</orgName>
          <date type="start">1606-01-01</date>
          <desc>
            <address>
              <addrLine>Via Università, 40 - 09124 Cagliari</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.unica.it/unica/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-198056" status="VALID">
          <idno type="IdRef">15863621X</idno>
          <idno type="ISNI">0000 0001 2176 4817</idno>
          <idno type="ROR">https://ror.org/035xkbk20</idno>
          <orgName>Aix Marseille Université</orgName>
          <orgName type="acronym">AMU</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Aix-Marseille UniversitéJardins du Pharo58 Boulevard Charles Livon13284 Marseille cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-amu.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303091" status="VALID">
          <idno type="IdRef">031122337</idno>
          <idno type="ROR">https://ror.org/02m9kbe37</idno>
          <orgName>Université de Toulon</orgName>
          <orgName type="acronym">UTLN</orgName>
          <desc>
            <address>
              <addrLine>Avenue de l'Université - BP 20132 - 83957 La Garde Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tln.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303092" status="OLD">
          <orgName>Arts et Métiers Paristech ENSAM Aix-en-Provence</orgName>
          <date type="end">2020-03-04</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>