<?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-00802225</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-17T21:54:51+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A constraint programming model for solving reachability problem in timed Petri nets</title>
            <author role="aut">
              <persName>
                <forename type="first">Yongliang</forename>
                <surname>Huang</surname>
              </persName>
              <email type="md5">02ecc93774dbabf445877879f63a82ec</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">938127</idno>
              <idno type="halauthorid" notation="string">656874-938127</idno>
              <affiliation ref="#struct-388410"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thomas</forename>
                <surname>Bourdeaud'Huy</surname>
              </persName>
              <email type="md5">004ad1e2aa87539ddf41bb817e6b6801</email>
              <email type="domain">ec-lille.fr</email>
              <idno type="idhal" notation="numeric">935656</idno>
              <idno type="halauthorid" notation="string">656875-935656</idno>
              <affiliation ref="#struct-388977"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre-Alain</forename>
                <surname>Yvars</surname>
              </persName>
              <email type="md5">24d6887962383876bf909d00964105a3</email>
              <email type="domain">isae-supmeca.fr</email>
              <idno type="idhal" notation="string">pierre-alain-yvars</idno>
              <idno type="idhal" notation="numeric">746365</idno>
              <idno type="halauthorid" notation="string">2543588-746365</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7131-6796</idno>
              <affiliation ref="#struct-204814"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Armand</forename>
                <surname>Toguyeni</surname>
              </persName>
              <email type="md5">f4e4ede94d91b3e3d05fd621ef5224ef</email>
              <email type="domain">ec-lille.fr</email>
              <idno type="idhal" notation="numeric">847799</idno>
              <idno type="halauthorid" notation="string">149607-847799</idno>
              <affiliation ref="#struct-120930"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Wided</forename>
                <surname>Chandoul</surname>
              </persName>
              <email type="md5">f2110934c46485a17b859b3f40785954</email>
              <email type="domain">ec-lille.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-03-19 13:19:24</date>
              <date type="whenModified">2025-10-06 17:20:04</date>
              <date type="whenReleased">2013-03-19 13:19:24</date>
              <date type="whenProduced">2012-06-06</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="174458">
                <persName>
                  <forename>Wided</forename>
                  <surname>Chandoul</surname>
                </persName>
                <email type="md5">f2110934c46485a17b859b3f40785954</email>
                <email type="domain">ec-lille.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00802225</idno>
            <idno type="halUri">https://hal.science/hal-00802225</idno>
            <idno type="halBibtex">huang:hal-00802225</idno>
            <idno type="halRefHtml">&lt;i&gt;International Conference of Modeling, Optimization and Simulation&lt;/i&gt;, Jun 2012, France</idno>
            <idno type="halRef">International Conference of Modeling, Optimization and Simulation, Jun 2012, France</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS8" corresp="UNIV-PARIS-LUMIERES">Université Paris VIII Vincennes-Saint Denis</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LAGIS">Laboratoire d'Automatique, Génie Informatique et Signal</idno>
            <idno type="stamp" n="LAGIS-OSL" corresp="LAGIS">LAGIS-OSL</idno>
            <idno type="stamp" n="LISMMA" corresp="UNIV-PARIS8">Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux</idno>
            <idno type="stamp" n="QUARTZ" corresp="UNIV-PARIS8">Publications du laboratoire QUARTZ - IPGP</idno>
            <idno type="stamp" n="CRISTAL">Centre de Recherche en Informatique, Signal et Automatique de Lille (CRISTAL)</idno>
            <idno type="stamp" n="CRISTAL-MOSES" corresp="CRISTAL">CRISTAL-MOSES</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="SUPMECA">ISAE-SUPMECA</idno>
            <idno type="stamp" n="UNIV-LILLE">Université de Lille</idno>
            <idno type="stamp" n="UNIV-PARIS-LUMIERES"/>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">A constraint programming model for solving reachability problem in timed Petri nets</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Yongliang</forename>
                    <surname>Huang</surname>
                  </persName>
                  <email type="md5">02ecc93774dbabf445877879f63a82ec</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">938127</idno>
                  <idno type="halauthorid" notation="string">656874-938127</idno>
                  <affiliation ref="#struct-388410"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thomas</forename>
                    <surname>Bourdeaud'Huy</surname>
                  </persName>
                  <email type="md5">004ad1e2aa87539ddf41bb817e6b6801</email>
                  <email type="domain">ec-lille.fr</email>
                  <idno type="idhal" notation="numeric">935656</idno>
                  <idno type="halauthorid" notation="string">656875-935656</idno>
                  <affiliation ref="#struct-388977"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre-Alain</forename>
                    <surname>Yvars</surname>
                  </persName>
                  <email type="md5">24d6887962383876bf909d00964105a3</email>
                  <email type="domain">isae-supmeca.fr</email>
                  <idno type="idhal" notation="string">pierre-alain-yvars</idno>
                  <idno type="idhal" notation="numeric">746365</idno>
                  <idno type="halauthorid" notation="string">2543588-746365</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7131-6796</idno>
                  <affiliation ref="#struct-204814"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Armand</forename>
                    <surname>Toguyeni</surname>
                  </persName>
                  <email type="md5">f4e4ede94d91b3e3d05fd621ef5224ef</email>
                  <email type="domain">ec-lille.fr</email>
                  <idno type="idhal" notation="numeric">847799</idno>
                  <idno type="halauthorid" notation="string">149607-847799</idno>
                  <affiliation ref="#struct-120930"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Performance, interoperability and safety for sustainable development</title>
                <meeting>
                  <title>International Conference of Modeling, Optimization and Simulation</title>
                  <date type="start">2012-06-06</date>
                  <date type="end">2012-06-08</date>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <date type="datePub">2012-06-08</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ro">Computer Science [cs]/Operations Research [math.OC]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this paper, we propose to use a constraint programming approach to address the reachability problem in Timed Petri Nets (TPNs). TPNs can be used to model a wide class of systems, from manufacturing issues to formal veriﬁcation of embedded systems. Many of the considered problems can be modeled as reachability problems in TPNs. To reduce the space state explosion brought by the exploration of the TPN behaviour, we propose to follow the incremental methodoly proposed by (Bourdeaud'huy &amp; Hanaﬁ 2006), who translate the reachability graph of Timed PNs into a mathematical programming model using linearization techniques. We show how to adapt this model to the constraint programming paradigm by using reiﬁed contraints and compare the respective eﬃciency of the two models.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-388410" status="OLD">
          <orgName>Systèmes Tolérants aux Fautes</orgName>
          <orgName type="acronym">STF</orgName>
          <desc>
            <address>
              <addrLine>Cité ScientifiqueCS 2004859651 VILLENEUVE D’ASCQ Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://lagis.cnrs.fr/Equipe-STF,175</ref>
          </desc>
          <listRelation>
            <relation active="#struct-410272" type="direct"/>
            <relation name="UMR9189" active="#struct-120930" type="indirect"/>
            <relation name="UMR9189" active="#struct-374570" type="indirect"/>
            <relation name="UMR9189" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-388977" status="OLD">
          <orgName>LAGIS-OSL</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-183073" type="direct"/>
            <relation active="#struct-92973" type="indirect"/>
            <relation active="#struct-120930" type="indirect"/>
            <relation name="UMR8219" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-204814" status="OLD">
          <idno type="IdRef">14961246X</idno>
          <idno type="ISNI">0000 0004 6364 6378</idno>
          <idno type="RNSR">199713887M</idno>
          <orgName>Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux</orgName>
          <orgName type="acronym">LISMMA</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2015-01-01</date>
          <desc>
            <address>
              <addrLine>IUT de Montreuil-Université Paris 8 - 140 rue de la Nouvelle France - 93100 Montreuil</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://lismma.supmeca.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA2336" active="#struct-11141" type="direct"/>
            <relation name="EA2336" active="#struct-300163" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-120930" status="VALID">
          <idno type="IdRef">256304629</idno>
          <idno type="ISNI">0000000122034461</idno>
          <idno type="ROR">https://ror.org/01x441g73</idno>
          <orgName>Centrale Lille</orgName>
          <desc>
            <address>
              <addrLine>École Centrale de Lille - Cité Scientifique - CS 20048 59651 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://centralelille.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-410272" status="VALID">
          <idno type="IdRef">18388695X</idno>
          <idno type="RNSR">201521249L</idno>
          <idno type="ROR">https://ror.org/05vrs3189</idno>
          <idno type="Wikidata">Q116959497</idno>
          <orgName>Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189</orgName>
          <orgName type="acronym">CRIStAL</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Université de Lille - Campus scientifique - Bâtiment ESPRIT - Avenue Henri Poincaré - 59655 Villeneuve d’Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cristal.univ-lille.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR9189" active="#struct-120930" type="direct"/>
            <relation name="UMR9189" active="#struct-374570" type="direct"/>
            <relation name="UMR9189" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-374570" status="VALID">
          <idno type="IdRef">223446556</idno>
          <idno type="ISNI">0000 0001 2242 6780</idno>
          <idno type="ROR">https://ror.org/02kzqn938</idno>
          <idno type="Wikidata">Q3551621</idno>
          <orgName>Université de Lille</orgName>
          <desc>
            <address>
              <addrLine>EPE Université de Lille. -- 42 rue Paul Duez, 59000 Lille</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-lille.fr/</ref>
          </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>
        <org type="laboratory" xml:id="struct-183073" status="OLD">
          <orgName>Laboratoire d'Automatique, Génie Informatique et Signal</orgName>
          <orgName type="acronym">LAGIS</orgName>
          <desc>
            <address>
              <addrLine>LAGIS Ecole Centrale de Lille Cité Scientifique 59655 Villeneuve d'Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://lagis.ec-lille.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92973" type="direct"/>
            <relation active="#struct-120930" type="direct"/>
            <relation name="UMR8219" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92973" status="OLD">
          <idno type="IdRef">026404184</idno>
          <idno type="ROR">https://ror.org/0546v5182</idno>
          <orgName>Université de Lille, Sciences et Technologies</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille1.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-11141" status="VALID">
          <idno type="IdRef">026403552</idno>
          <idno type="ISNI">0000000121083026</idno>
          <idno type="ROR">https://ror.org/04wez5e68</idno>
          <orgName>Université Paris 8</orgName>
          <orgName type="acronym">UP8</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue de la Liberté - 93526 Saint-Denis cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris8.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300163" status="OLD">
          <idno type="ROR">https://ror.org/04dtfqt68</idno>
          <orgName>SUPMECA - Institut supérieur de mécanique de Paris</orgName>
          <orgName type="acronym">SUPMECA</orgName>
          <date type="end">2021-03-23</date>
          <desc>
            <address>
              <addrLine>3 rue Fernand Hainaut, 93400 Saint-Ouen</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.supmeca.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>