<?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-00084198</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-24T04:54:04+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="it">PN standardisation: a survey</title>
            <author role="aut">
              <persName>
                <forename type="first">Lom</forename>
                <surname>Hillah</surname>
              </persName>
              <email type="md5">1895059e09d07178f18a5ccad9ffb909</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">lom-messan-hillah</idno>
              <idno type="idhal" notation="numeric">847</idno>
              <idno type="halauthorid" notation="string">152896-847</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4558-720X</idno>
              <idno type="IDREF">https://www.idref.fr/13991238X</idno>
              <affiliation ref="#struct-405336"/>
            </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>
              <affiliation ref="#struct-994"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Treves</surname>
              </persName>
              <email type="md5">7c34e8490b9e3380b9f7fbb9f9151882</email>
              <email type="domain">cnam.fr</email>
              <idno type="idhal" notation="numeric">964593</idno>
              <idno type="halauthorid" notation="string">894902-964593</idno>
              <idno type="IDREF">https://www.idref.fr/031801455</idno>
              <affiliation ref="#struct-16574"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Laure</forename>
                <surname>Petrucci</surname>
              </persName>
              <email type="md5">ac7b5e2d0d6d1c9ca20731cac6e4ee94</email>
              <email type="domain">lipn.univ-paris13.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2006-07-06 02:00:28</date>
              <date type="whenModified">2026-01-30 16:21:35</date>
              <date type="whenReleased">2006-07-06 02:00:28</date>
              <date type="whenProduced">2006-09-26</date>
              <ref type="externalLink" target="https://api.istex.fr/ark:/67375/HCB-DWMZB5GF-Q/fulltext.pdf?sid=hal"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="101697">
                <persName>
                  <forename>Laure</forename>
                  <surname>Petrucci</surname>
                </persName>
                <email type="md5">ac7b5e2d0d6d1c9ca20731cac6e4ee94</email>
                <email type="domain">lipn.univ-paris13.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00084198</idno>
            <idno type="halUri">https://hal.science/hal-00084198</idno>
            <idno type="halBibtex">hillah:hal-00084198</idno>
            <idno type="halRefHtml">&lt;i&gt;26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06)&lt;/i&gt;, Sep 2006, Paris, France. pp.307-322, &lt;a target="_blank" href="https://dx.doi.org/10.1007/11888116_23"&gt;&amp;#x27E8;10.1007/11888116_23&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Sep 2006, Paris, France. pp.307-322, &amp;#x27E8;10.1007/11888116_23&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <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="CNAM">Conservatoire National des Arts et Métiers</idno>
            <idno type="stamp" n="OCA">Observatoire de la Cote d'Azur</idno>
            <idno type="stamp" n="LIPN" corresp="UNIV-PARIS13">Laboratoire d'Informatique de Paris-Nord</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="GALILE" corresp="UNIV-PARIS13">Institut Galilée Université Paris 13</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="CEDRIC-CNAM" corresp="CNAM">Centre d'études et de recherche en informatique et communications </idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE" corresp="CNRS">Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle </idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </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="it">PN standardisation: a survey</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Lom</forename>
                    <surname>Hillah</surname>
                  </persName>
                  <email type="md5">1895059e09d07178f18a5ccad9ffb909</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">lom-messan-hillah</idno>
                  <idno type="idhal" notation="numeric">847</idno>
                  <idno type="halauthorid" notation="string">152896-847</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4558-720X</idno>
                  <idno type="IDREF">https://www.idref.fr/13991238X</idno>
                  <affiliation ref="#struct-405336"/>
                </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>
                  <affiliation ref="#struct-994"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Treves</surname>
                  </persName>
                  <email type="md5">7c34e8490b9e3380b9f7fbb9f9151882</email>
                  <email type="domain">cnam.fr</email>
                  <idno type="idhal" notation="numeric">964593</idno>
                  <idno type="halauthorid" notation="string">894902-964593</idno>
                  <idno type="IDREF">https://www.idref.fr/031801455</idno>
                  <affiliation ref="#struct-16574"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06)</title>
                  <date type="start">2006-09-26</date>
                  <date type="end">2006-09-29</date>
                  <settlement>Paris</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <publisher>Springer-Verlag</publisher>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">4229</biblScope>
                  <biblScope unit="pp">307-322</biblScope>
                  <date type="datePub">2006</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/11888116_23</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Core Model</term>
                <term xml:lang="en">Object Constraint Language</term>
                <term xml:lang="en">Concrete Syntax</term>
                <term xml:lang="en">Tool Developer</term>
                <term xml:lang="en">Eclipse Modeling Framework</term>
              </keywords>
              <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>Petri Nets formalism requires standardisation to facilitate the work of researchers in this field and to enable the data exchange between different Petri Nets tools through a common format. Following this, a three-part International Standard (ISO/IEC 15909) has been developed. Part 1 is devoted to terms and definitions for Place/Transition Nets and High-Level Petri Nets. It is now completed (published as a standard) but will include an addendum on Symmetric Nets. Part 2 aims at providing a transfer format for High-level Petri Nets, called PNML, based on XML. Work on part 3 which deals with extensions has not started yet. In this paper the first two parts of the standard are presented. Then, to support part 2, an implementation of PNML, through an API framework to be integrated into Petri Net tools, is proposed. It allows for the translation of any Petri Net, designed by a given tool in a dedicated format, into PNML.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <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-994" status="OLD">
          <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
          <orgName type="acronym">LIPN</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-15786" type="direct"/>
            <relation active="#struct-301340" type="direct"/>
            <relation active="#struct-303171" type="direct"/>
            <relation name="UMR7030" 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="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>
        <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="institution" xml:id="struct-15786" status="VALID">
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris 13</orgName>
          <orgName type="acronym">UP13</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris13.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301340" status="VALID">
          <orgName>Institut Galilée</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-303171" status="VALID">
          <idno type="IdRef">19077990X</idno>
          <idno type="ROR">https://ror.org/001z21q04</idno>
          <orgName>Université Sorbonne Paris Cité</orgName>
          <orgName type="acronym">USPC</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université Sorbonne Paris Cité | 100-104, avenue de France | 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-paris-cite.fr/fr</ref>
          </desc>
        </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>
      </listOrg>
    </back>
  </text>
</TEI>