<?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-01125425</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-22T06:41:03+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Formal Modeling and Analysis of Flexible Automated Production Workflows</title>
            <author role="aut">
              <persName>
                <forename type="first">Awatef</forename>
                <surname>Hicheur</surname>
              </persName>
              <email type="md5">655cf7e87e15513f31a99758592906cf</email>
              <email type="domain">cnam.fr</email>
              <idno type="idhal" notation="numeric">964612</idno>
              <idno type="halauthorid" notation="string">894974-964612</idno>
              <idno type="IDREF">https://www.idref.fr/137820704</idno>
              <affiliation ref="#struct-16574"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kamel</forename>
                <surname>Barkaoui</surname>
              </persName>
              <email type="md5">ca46212b8d9478aeaa0f8e2cd3d74e05</email>
              <email type="domain">cnam.fr</email>
              <idno type="idhal" notation="string">kamel-barkaoui</idno>
              <idno type="idhal" notation="numeric">182238</idno>
              <idno type="halauthorid" notation="string">28876-182238</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7175-0448</idno>
              <idno type="IDREF">https://www.idref.fr/033470677</idno>
              <affiliation ref="#struct-16574"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Laboratoire</forename>
                <surname>CEDRIC</surname>
              </persName>
              <email type="md5">34e509f884b6168d15336e5a2357ce4c</email>
              <email type="domain">cnam.fr.invalid</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-03-06 11:09:15</date>
              <date type="whenWritten">2007-01-01</date>
              <date type="whenModified">2025-07-09 15:06:18</date>
              <date type="whenReleased">2015-03-06 11:09:15</date>
              <date type="whenProduced">2007-01-01</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="308156">
                <persName>
                  <forename>Laboratoire</forename>
                  <surname>CEDRIC</surname>
                </persName>
                <email type="md5">34e509f884b6168d15336e5a2357ce4c</email>
                <email type="domain">cnam.fr.invalid</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01125425</idno>
            <idno type="halUri">https://hal.science/hal-01125425</idno>
            <idno type="halBibtex">hicheur:hal-01125425</idno>
            <idno type="halRefHtml">&lt;i&gt;CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria&lt;/i&gt;, Jan 2007, X, France. pp.45-56</idno>
            <idno type="halRef">CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria, Jan 2007, X, France. pp.45-56</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNAM">Conservatoire National des Arts et Métiers</idno>
            <idno type="stamp" n="CEDRIC-CNAM" corresp="CNAM">Centre d'études et de recherche en informatique et communications </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">Formal Modeling and Analysis of Flexible Automated Production Workflows</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Awatef</forename>
                    <surname>Hicheur</surname>
                  </persName>
                  <email type="md5">655cf7e87e15513f31a99758592906cf</email>
                  <email type="domain">cnam.fr</email>
                  <idno type="idhal" notation="numeric">964612</idno>
                  <idno type="halauthorid" notation="string">894974-964612</idno>
                  <idno type="IDREF">https://www.idref.fr/137820704</idno>
                  <affiliation ref="#struct-16574"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kamel</forename>
                    <surname>Barkaoui</surname>
                  </persName>
                  <email type="md5">ca46212b8d9478aeaa0f8e2cd3d74e05</email>
                  <email type="domain">cnam.fr</email>
                  <idno type="idhal" notation="string">kamel-barkaoui</idno>
                  <idno type="idhal" notation="numeric">182238</idno>
                  <idno type="halauthorid" notation="string">28876-182238</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7175-0448</idno>
                  <idno type="IDREF">https://www.idref.fr/033470677</idno>
                  <affiliation ref="#struct-16574"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">HB07a</idno>
                <meeting>
                  <title>CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria</title>
                  <date type="start">2007-01-01</date>
                  <settlement>X</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">45-56</biblScope>
                  <date type="datePub">2007-01-01</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</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 aim of this paper is to show the relevance of our model, namely Recursive ECATNets ("RECATNets") in the modeling and analysis of flexible workflows in manufacturing systems. Recursive ECATNets are defined on the basis of a sound combination of ECATNets (Extended Concurrent Algebraic Term Nets) and Recursive Petri nets. Moreover, since RECATNets semantics is defined in the conditional rewriting logic framework, the use of formal verification techniques to prove liveness and safety properties becomes possible.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <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="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>