<?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-01365579</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-21T15:07:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Filipe</forename>
                <surname>Moutinho</surname>
              </persName>
              <email type="md5">4f726033847b112da04ce6cb8afc2fe5</email>
              <email type="domain">uninova.pt</email>
              <idno type="idhal" notation="numeric">988841</idno>
              <idno type="halauthorid" notation="string">1048306-988841</idno>
              <affiliation ref="#struct-327246"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Luís</forename>
                <surname>Gomes</surname>
              </persName>
              <email type="md5">c1d0e81df71eb5f943152e2892751561</email>
              <email type="domain">uninova.pt</email>
              <idno type="idhal" notation="numeric">985906</idno>
              <idno type="halauthorid" notation="string">852140-985906</idno>
              <affiliation ref="#struct-327246"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-09-13 15:22:04</date>
              <date type="whenModified">2021-06-29 12:20:08</date>
              <date type="whenReleased">2016-09-13 17:06:05</date>
              <date type="whenProduced">2012-02-27</date>
              <date type="whenEndEmbargoed">2015-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01365579v1/document">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01365579v1/file/978-3-642-28255-3_16_Chapter.pdf" id="file-1365579-1446479">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-28255-3_16.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01365579</idno>
            <idno type="halUri">https://inria.hal.science/hal-01365579</idno>
            <idno type="halBibtex">moutinho:hal-01365579</idno>
            <idno type="halRefHtml">&lt;i&gt;3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS)&lt;/i&gt;, Feb 2012, Costa de Caparica, Portugal. pp.143-150, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-28255-3_16"&gt;&amp;#x27E8;10.1007/978-3-642-28255-3_16&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.143-150, &amp;#x27E8;10.1007/978-3-642-28255-3_16&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1365579-1446479"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-AICT" corresp="IFIP">IFIP Advances in Information and Communication Technology</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC5" corresp="IFIP-TC">IFIP TC5: Information Technology Applications</idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-WG5-5" corresp="IFIP-WG">IFIP-WG5-5: Cooperation Infrastructure for Virtual Enterprises and Electronic Business (COVE)</idno>
            <idno type="stamp" n="IFIP-DOCEIS">DoCEIS: Doctoral Conference on Computing, Electrical and Industrial Systems</idno>
            <idno type="stamp" n="IFIP-AICT-372" corresp="IFIP-AICT">Technological Innovation for Value Creation</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 6: Petri Nets</note>
            <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">Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Filipe</forename>
                    <surname>Moutinho</surname>
                  </persName>
                  <email type="md5">4f726033847b112da04ce6cb8afc2fe5</email>
                  <email type="domain">uninova.pt</email>
                  <idno type="idhal" notation="numeric">988841</idno>
                  <idno type="halauthorid" notation="string">1048306-988841</idno>
                  <affiliation ref="#struct-327246"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Luís</forename>
                    <surname>Gomes</surname>
                  </persName>
                  <email type="md5">c1d0e81df71eb5f943152e2892751561</email>
                  <email type="domain">uninova.pt</email>
                  <idno type="idhal" notation="numeric">985906</idno>
                  <idno type="halauthorid" notation="string">852140-985906</idno>
                  <affiliation ref="#struct-327246"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">IFIP Advances in Information and Communication Technology</title>
                <meeting>
                  <title>3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS)</title>
                  <date type="start">2012-02-27</date>
                  <date type="end">2012-02-29</date>
                  <settlement>Costa de Caparica</settlement>
                  <country key="PT">Portugal</country>
                </meeting>
                <editor>Luis M. Camarinha-Matos</editor>
                <editor>Ehsan Shahamatnia</editor>
                <editor>Gonçalo Nunes</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Technological Innovation for Value Creation</biblScope>
                  <biblScope unit="volume">AICT-372</biblScope>
                  <biblScope unit="pp">143-150</biblScope>
                  <date type="datePub">2012</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-28255-3_16</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Petri nets</term>
                <term xml:lang="en">Model-based development</term>
                <term xml:lang="en">GALS embedded systems</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>A specific class of Petri nets was extended with Asynchronous-Channels (ACs) and Time-Domains (TDs) to support Globally-Asynchronous Locally-Synchronous (GALS) systems’ modeling, analysis and implementation. This non-autonomous class of Petri nets is targeted to support the development of automation and embedded systems using a model-based development approach. It benefits from a tool chain framework previously developed, covering the whole development flow, from specification to hardware and software deployment. With the extended Petri net class is possible to model GALS systems, and use the specification to generate the corresponding state space supporting the behavior verification and providing valuable information for implementation.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 5</org>
              <org type="consortium">WG 5.5</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-327246" status="VALID">
          <orgName>Universidade Nova de Lisboa = NOVA University Lisbon</orgName>
          <orgName type="acronym">NOVA</orgName>
          <desc>
            <address>
              <addrLine>Campus de Campolide1099-085 Lisboa</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">http://www.unl.pt/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>