<?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-02309961</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-24T21:55:01+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets</title>
            <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>
              <ptr type="url" target="http://www.ibisc.univ-evry.fr/~fpommereau/"/>
              <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">2019-10-10 14:47:53</date>
              <date type="whenModified">2024-12-27 19:57:06</date>
              <date type="whenReleased">2019-10-11 09:26:15</date>
              <date type="whenProduced">2007</date>
              <date type="whenEndEmbargoed">2019-10-10</date>
              <ref type="file" target="https://hal.science/hal-02309961v1/document">
                <date notBefore="2019-10-10"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02309961v1/file/Pom-DADS-2007.pdf" id="file-2309961-2227694">
                <date notBefore="2019-10-10"/>
              </ref>
            </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-02309961</idno>
            <idno type="halUri">https://hal.science/hal-02309961</idno>
            <idno type="halBibtex">pommereau:hal-02309961</idno>
            <idno type="halRefHtml">&lt;i&gt;Summer Computer Simulation Conference&lt;/i&gt;, 2007, San Diego, United States</idno>
            <idno type="halRef">Summer Computer Simulation Conference, 2007, San Diego, United States</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2309961-2227694"/></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>
          </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">Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets</title>
                <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>
                  <ptr type="url" target="http://www.ibisc.univ-evry.fr/~fpommereau/"/>
                  <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>
                <title level="m">SCSC '07 Proceedings of the 2007 Summer Computer Simulation Conference</title>
                <meeting>
                  <title>Summer Computer Simulation Conference</title>
                  <date type="start">2007</date>
                  <settlement>San Diego</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">exceptions</term>
                <term xml:lang="en">threads</term>
                <term xml:lang="en">algebra of Petri nets</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>This paper introduces a model of composable Petri nets, called Versatile Boxes, that has all the high-level features already introduced in the family of the Petri Box Calculus (mainly: data and time representation) as well as a new interruption capability. This allows for defining processes that are able to interrupt their execution at any point, just as a program can raise an exception. By choosing a carefully tuned level of generality, we are able to obtain a model that is much simpler than previous approaches, while still allowing to give the semantics of the usual programming language constructs. We believe that our model has the required characteristics for a very general use, hence its name. On the other hand, its is not very complex and so it should be easy to understand or implement and efficient for verification or simulation purpose.</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>