<?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-00114682</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-19T17:34:12+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Petri nets with causal time for system verification</title>
            <author role="aut">
              <persName>
                <forename type="first">Cécile</forename>
                <surname>Bui Thanh</surname>
              </persName>
              <idno type="halauthorid">179460-0</idno>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hanna</forename>
                <surname>Klaudel</surname>
              </persName>
              <email type="md5">eb8112458559c8cbc82b669924399aac</email>
              <email type="domain">univ-evry.fr</email>
              <idno type="idhal" notation="string">hanna-klaudel</idno>
              <idno type="idhal" notation="numeric">752620</idno>
              <idno type="halauthorid" notation="string">13750-752620</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0790-0004</idno>
              <idno type="IDREF">https://www.idref.fr/083964908</idno>
              <idno type="VIAF">https://viaf.org/viaf/190666182</idno>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Franck</forename>
                <surname>Pommereau</surname>
              </persName>
              <email type="md5">5916d8936916838871d4f52cf8a930ae</email>
              <email type="domain">ibisc.univ-evry.fr</email>
              <idno type="idhal" notation="string">franck-pommereau</idno>
              <idno type="idhal" notation="numeric">8335</idno>
              <idno type="halauthorid" notation="string">19054-8335</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9959-3699</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=VrP7AT0AAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/066923689</idno>
              <idno type="VIAF">https://viaf.org/viaf/217153564</idno>
              <idno type="ISNI">http://isni.org/isni/0000000139688410</idno>
              <affiliation ref="#struct-1662"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Franck</forename>
                <surname>Pommereau</surname>
              </persName>
              <email type="md5">cbf3edcd135bff1c343a3ad73b30897b</email>
              <email type="domain">univ-evry.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2006-11-17 13:42:40</date>
              <date type="whenWritten">2003</date>
              <date type="whenModified">2024-12-27 19:52:09</date>
              <date type="whenReleased">2006-11-17 14:19:11</date>
              <date type="whenProduced">2003</date>
              <date type="whenEndEmbargoed">2006-11-17</date>
              <ref type="file" target="https://hal.science/hal-00114682v1/document">
                <date notBefore="2006-11-17"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://hal.science/hal-00114682v1/file/2002-mtcs.pdf" id="file-114682-93564">
                <date notBefore="2006-11-17"/>
              </ref>
              <ref type="externalLink" target="https://doi.org/10.1016/s1571-0661(04)80521-8"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="338900">
                <persName>
                  <forename>Franck</forename>
                  <surname>Pommereau</surname>
                </persName>
                <email type="md5">cbf3edcd135bff1c343a3ad73b30897b</email>
                <email type="domain">univ-evry.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00114682</idno>
            <idno type="halUri">https://hal.science/hal-00114682</idno>
            <idno type="halBibtex">buithanh:hal-00114682</idno>
            <idno type="halRefHtml">&lt;i&gt;MTCS&lt;/i&gt;, 2003, Brno, Czech Republic. pp.1-16, &lt;a target="_blank" href="https://dx.doi.org/10.1016/S1571-0661(04)80521-8"&gt;&amp;#x27E8;10.1016/S1571-0661(04)80521-8&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">MTCS, 2003, Brno, Czech Republic. pp.1-16, &amp;#x27E8;10.1016/S1571-0661(04)80521-8&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-114682-93564"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LACL" corresp="UPEC">Laboratoire d'Algorithmique Complexité et Logique</idno>
            <idno type="stamp" n="UPEC" corresp="CV_UPEC">Université Paris-Est Créteil Val-de-Marne</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>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</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">Petri nets with causal time for system verification</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Cécile</forename>
                    <surname>Bui Thanh</surname>
                  </persName>
                  <idno type="halauthorid">179460-0</idno>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hanna</forename>
                    <surname>Klaudel</surname>
                  </persName>
                  <email type="md5">eb8112458559c8cbc82b669924399aac</email>
                  <email type="domain">univ-evry.fr</email>
                  <idno type="idhal" notation="string">hanna-klaudel</idno>
                  <idno type="idhal" notation="numeric">752620</idno>
                  <idno type="halauthorid" notation="string">13750-752620</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0790-0004</idno>
                  <idno type="IDREF">https://www.idref.fr/083964908</idno>
                  <idno type="VIAF">https://viaf.org/viaf/190666182</idno>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Franck</forename>
                    <surname>Pommereau</surname>
                  </persName>
                  <email type="md5">5916d8936916838871d4f52cf8a930ae</email>
                  <email type="domain">ibisc.univ-evry.fr</email>
                  <idno type="idhal" notation="string">franck-pommereau</idno>
                  <idno type="idhal" notation="numeric">8335</idno>
                  <idno type="halauthorid" notation="string">19054-8335</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9959-3699</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=VrP7AT0AAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/066923689</idno>
                  <idno type="VIAF">https://viaf.org/viaf/217153564</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000139688410</idno>
                  <affiliation ref="#struct-1662"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>MTCS</title>
                  <date type="start">2003</date>
                  <settlement>Brno</settlement>
                  <country key="CZ">Czech Republic</country>
                </meeting>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="serie">Electronic Notes in Theoretical Computer Science 68(5)</biblScope>
                  <biblScope unit="pp">1-16</biblScope>
                  <date type="datePub">2003</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/S1571-0661(04)80521-8</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</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>We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progression of time is modelled in the system by the occurrence of a distinguished event, tick, which serves as a reference to the rest of the system. In order to validate this approach as suitable for automated verification, a case study is provided and the results obtained using a model-checker on high-level Petri nets are compared with those obtained for timed automata using prominent tools. The comparison is encouraging and shows that the causal time approach is intuitive and modular. It also potentially allows for efficient verification.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1662" status="OLD">
          <orgName>Laboratoire d'Algorithmique Complexité et Logique</orgName>
          <orgName type="acronym">LACL</orgName>
          <desc>
            <address>
              <addrLine>Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris12.fr/lacl</ref>
          </desc>
          <listRelation>
            <relation active="#struct-420786" type="direct"/>
            <relation name="FRE2673" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-420786" status="VALID">
          <idno type="IdRef">028021037</idno>
          <idno type="ISNI">0000000121497878</idno>
          <idno type="ROR">https://ror.org/05ggc9x40</idno>
          <orgName>Université Paris-Est Créteil Val-de-Marne - Paris 12</orgName>
          <orgName type="acronym">UPEC UP12</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>61 avenue du Général de Gaulle - 94010 Créteil cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-pec.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>
      </listOrg>
    </back>
  </text>
</TEI>