<?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-00772677</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-22T16:00:51+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains</title>
            <author role="aut">
              <persName>
                <forename type="first">Serge</forename>
                <surname>Haddad</surname>
              </persName>
              <email type="md5">52e3e614b453b4f4234f21c3d03650dd</email>
              <email type="domain">lsv.fr</email>
              <idno type="idhal" notation="string">serge-haddad</idno>
              <idno type="idhal" notation="numeric">745039</idno>
              <idno type="halauthorid" notation="string">51212-745039</idno>
              <idno type="IDREF">https://www.idref.fr/032657501</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1759-1201</idno>
              <idno type="VIAF">https://viaf.org/viaf/226400758</idno>
              <idno type="ISNI">http://isni.org/isni/0000000363340427</idno>
              <affiliation ref="#struct-157663"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Fabrice</forename>
                <surname>Kordon</surname>
              </persName>
              <email type="md5">c31b42c685f457d01a9fb6a6d448fd9d</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">fabrice-kordon</idno>
              <idno type="idhal" notation="numeric">9774</idno>
              <idno type="halauthorid" notation="string">7750-9774</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5626-828X</idno>
              <idno type="IDREF">https://www.idref.fr/074605283</idno>
              <idno type="VIAF">https://viaf.org/viaf/55088809</idno>
              <affiliation ref="#struct-405336"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laure</forename>
                <surname>Petrucci</surname>
              </persName>
              <email type="md5">ac7b5e2d0d6d1c9ca20731cac6e4ee94</email>
              <email type="domain">lipn.univ-paris13.fr</email>
              <idno type="idhal" notation="string">laure-petrucci</idno>
              <idno type="idhal" notation="numeric">178715</idno>
              <idno type="halauthorid" notation="string">323-178715</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3154-5268</idno>
              <idno type="IDREF">https://www.idref.fr/110965787</idno>
              <idno type="VIAF">https://viaf.org/viaf/69240071</idno>
              <idno type="ISNI">http://isni.org/isni/0000000002556687</idno>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-François</forename>
                <surname>Pradat-Peyre</surname>
              </persName>
              <email type="md5">e562856ca93ea889c1370cf732d25627</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">978585</idno>
              <idno type="halauthorid" notation="string">205858-978585</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/DMQ-3457-2022</idno>
              <idno type="IDREF">https://www.idref.fr/110946456</idno>
              <idno type="ISNI">http://isni.org/isni/0000000039289287</idno>
              <idno type="VIAF">https://viaf.org/viaf/68453498</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/DMQ-3457-2022</idno>
              <idno type="ORCID">https://orcid.org/0009-0008-5626-524X</idno>
              <affiliation ref="#struct-405336"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Trèves</surname>
              </persName>
              <idno type="halauthorid">152897-0</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Stefan</forename>
                <surname>Haar</surname>
              </persName>
              <email type="md5">af95e64de43ca1c9c35695f0752b47ec</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-01-10 23:03:36</date>
              <date type="whenModified">2025-04-01 12:12:04</date>
              <date type="whenReleased">2013-01-10 23:03:36</date>
              <date type="whenProduced">2009-06-10</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="140518">
                <persName>
                  <forename>Stefan</forename>
                  <surname>Haar</surname>
                </persName>
                <email type="md5">af95e64de43ca1c9c35695f0752b47ec</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00772677</idno>
            <idno type="halUri">https://inria.hal.science/hal-00772677</idno>
            <idno type="halBibtex">haddad:hal-00772677</idno>
            <idno type="halRefHtml">&lt;i&gt;28th American Control Conference (ACC'09)&lt;/i&gt;, Jun 2009, Saint Louis, MO, United States. pp.5018-5025, &lt;a target="_blank" href="https://dx.doi.org/10.1109/ACC.2009.5160020"&gt;&amp;#x27E8;10.1109/ACC.2009.5160020&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. pp.5018-5025, &amp;#x27E8;10.1109/ACC.2009.5160020&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="INRIA-SACLAY" corresp="INRIA">INRIA Saclay - Ile de France</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="LSV-AUTO">Laboratoire Spécification et Vérification</idno>
            <idno type="stamp" n="FARMAN">Institut Farman</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </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">Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Serge</forename>
                    <surname>Haddad</surname>
                  </persName>
                  <email type="md5">52e3e614b453b4f4234f21c3d03650dd</email>
                  <email type="domain">lsv.fr</email>
                  <idno type="idhal" notation="string">serge-haddad</idno>
                  <idno type="idhal" notation="numeric">745039</idno>
                  <idno type="halauthorid" notation="string">51212-745039</idno>
                  <idno type="IDREF">https://www.idref.fr/032657501</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1759-1201</idno>
                  <idno type="VIAF">https://viaf.org/viaf/226400758</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000363340427</idno>
                  <affiliation ref="#struct-157663"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Fabrice</forename>
                    <surname>Kordon</surname>
                  </persName>
                  <email type="md5">c31b42c685f457d01a9fb6a6d448fd9d</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">fabrice-kordon</idno>
                  <idno type="idhal" notation="numeric">9774</idno>
                  <idno type="halauthorid" notation="string">7750-9774</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5626-828X</idno>
                  <idno type="IDREF">https://www.idref.fr/074605283</idno>
                  <idno type="VIAF">https://viaf.org/viaf/55088809</idno>
                  <affiliation ref="#struct-405336"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laure</forename>
                    <surname>Petrucci</surname>
                  </persName>
                  <email type="md5">ac7b5e2d0d6d1c9ca20731cac6e4ee94</email>
                  <email type="domain">lipn.univ-paris13.fr</email>
                  <idno type="idhal" notation="string">laure-petrucci</idno>
                  <idno type="idhal" notation="numeric">178715</idno>
                  <idno type="halauthorid" notation="string">323-178715</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3154-5268</idno>
                  <idno type="IDREF">https://www.idref.fr/110965787</idno>
                  <idno type="VIAF">https://viaf.org/viaf/69240071</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000002556687</idno>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-François</forename>
                    <surname>Pradat-Peyre</surname>
                  </persName>
                  <email type="md5">e562856ca93ea889c1370cf732d25627</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">978585</idno>
                  <idno type="halauthorid" notation="string">205858-978585</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/DMQ-3457-2022</idno>
                  <idno type="IDREF">https://www.idref.fr/110946456</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000039289287</idno>
                  <idno type="VIAF">https://viaf.org/viaf/68453498</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/DMQ-3457-2022</idno>
                  <idno type="ORCID">https://orcid.org/0009-0008-5626-524X</idno>
                  <affiliation ref="#struct-405336"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Trèves</surname>
                  </persName>
                  <idno type="halauthorid">152897-0</idno>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 28th American Control Conference (ACC'09)</title>
                <meeting>
                  <title>28th American Control Conference (ACC'09)</title>
                  <date type="start">2009-06-10</date>
                  <date type="end">2009-06-12</date>
                  <settlement>Saint Louis, MO</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <publisher>IEEE</publisher>
                  <biblScope unit="pp">5018-5025</biblScope>
                  <date type="datePub">2009</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/ACC.2009.5160020</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</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>The use of high-level nets, such as coloured Petri nets, is very convenient for modelling complex controllable systems in order to have a compact, readable and structured specification. However, when coming to the analysis phase, using too elaboratc types becomes a burden. A good trade-off between expressivene and analy is capabilities is then to have only imple types, which is achieved with symmetric nels. These latter nels enjoy the possibility of generating a symbolic reachability gralph, which is much smallcr than the whole state space and still allows for exhaustive analysis. In this paper, we extend the symmetric net model with bags on arcs. Hence, variables can be bags of tokens,leading to more flexible models. We show that symmetric nets with bags also allow for applying the symbolic reachability graph technique with application to deadlock detection and more generally for safety properties.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-157663" status="OLD">
          <idno type="RNSR">200920937Y</idno>
          <orgName>Modeling and Exploitation of Interaction and Concurrency</orgName>
          <orgName type="acronym">MEXICO</orgName>
          <date type="start">2009-03-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>LSV, ENS Cachan 61 av président Wilson 94235 Cachan cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/mexico</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2571" type="direct"/>
            <relation active="#struct-6862" type="indirect"/>
            <relation name="UMR8643" active="#struct-441569" type="indirect"/>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-405336" status="OLD">
          <orgName>Modélisation et Vérification</orgName>
          <orgName type="acronym">MoVe</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2571" status="OLD">
          <orgName>Laboratoire Spécification et Vérification [Cachan]</orgName>
          <orgName type="acronym">LSV</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lsv.ens-cachan.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6862" type="direct"/>
            <relation name="UMR8643" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-6862" status="VALID">
          <orgName>École normale supérieure - Cachan</orgName>
          <orgName type="acronym">ENS Cachan</orgName>
          <desc>
            <address>
              <addrLine>61, avenue du Président Wilson - 94230 Cachan</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-cachan.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-118511" status="VALID">
          <idno type="RNSR">200818248E</idno>
          <idno type="ROR">https://ror.org/0315e5x55</idno>
          <orgName>Centre Inria de Saclay</orgName>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/saclay</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>