<?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-01343480</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:18+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers</title>
            <author role="aut">
              <persName>
                <forename type="first">Fernando</forename>
                <surname>Pereira</surname>
              </persName>
              <email type="md5">290120e5376e0264b1469170b1e48145</email>
              <email type="domain">deea.isel.ipl.pt</email>
              <idno type="idhal" notation="numeric">985909</idno>
              <idno type="halauthorid" notation="string">38239-985909</idno>
              <affiliation ref="#struct-1114557"/>
              <affiliation ref="#struct-450862"/>
              <affiliation ref="#struct-450848"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Luis</forename>
                <surname>Gomes</surname>
              </persName>
              <email type="md5">a9ba844f097ec89f75bdaf223dae2f03</email>
              <email type="domain">fct.unl.pt</email>
              <idno type="idhal" notation="numeric">985879</idno>
              <idno type="halauthorid" notation="string">998271-985879</idno>
              <affiliation ref="#struct-1114557"/>
              <affiliation ref="#struct-450848"/>
            </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-07-08 14:58:24</date>
              <date type="whenModified">2025-12-18 08:52:04</date>
              <date type="whenReleased">2016-07-08 15:33:08</date>
              <date type="whenProduced">2015-04-13</date>
              <date type="whenEndEmbargoed">2018-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01343480v1/document">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01343480v1/file/336594_1_En_18_Chapter.pdf" id="file-1343480-1423881">
                <date notBefore="2018-01-01"/>
              </ref>
            </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-01343480</idno>
            <idno type="halUri">https://inria.hal.science/hal-01343480</idno>
            <idno type="halBibtex">pereira:hal-01343480</idno>
            <idno type="halRefHtml">&lt;i&gt;6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS)&lt;/i&gt;, Apr 2015, Costa de Caparica, Portugal. pp.165-175, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-16766-4_18"&gt;&amp;#x27E8;10.1007/978-3-319-16766-4_18&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.165-175, &amp;#x27E8;10.1007/978-3-319-16766-4_18&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1343480-1423881"/></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-450" corresp="IFIP-AICT">Technological Innovation for Cloud-Based Engineering Systems</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 6: Embedded Systems</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">Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Fernando</forename>
                    <surname>Pereira</surname>
                  </persName>
                  <email type="md5">290120e5376e0264b1469170b1e48145</email>
                  <email type="domain">deea.isel.ipl.pt</email>
                  <idno type="idhal" notation="numeric">985909</idno>
                  <idno type="halauthorid" notation="string">38239-985909</idno>
                  <affiliation ref="#struct-1114557"/>
                  <affiliation ref="#struct-450862"/>
                  <affiliation ref="#struct-450848"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Luis</forename>
                    <surname>Gomes</surname>
                  </persName>
                  <email type="md5">a9ba844f097ec89f75bdaf223dae2f03</email>
                  <email type="domain">fct.unl.pt</email>
                  <idno type="idhal" notation="numeric">985879</idno>
                  <idno type="halauthorid" notation="string">998271-985879</idno>
                  <affiliation ref="#struct-1114557"/>
                  <affiliation ref="#struct-450848"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">IFIP Advances in Information and Communication Technology</title>
                <meeting>
                  <title>6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS)</title>
                  <date type="start">2015-04-13</date>
                  <date type="end">2015-04-15</date>
                  <settlement>Costa de Caparica</settlement>
                  <country key="PT">Portugal</country>
                </meeting>
                <editor>Luis M. Camarinha-Matos</editor>
                <editor>Thais A. Baldissera</editor>
                <editor>Giovanni Di Orio</editor>
                <editor>Francisco Marques</editor>
                <imprint>
                  <biblScope unit="serie">Technological Innovation for Cloud-Based Engineering Systems</biblScope>
                  <biblScope unit="volume">AICT-450</biblScope>
                  <biblScope unit="pp">165-175</biblScope>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-16766-4_18</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">Cloud based tools</term>
                <term xml:lang="en">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>IOPT-Tools is a cloud based integrated development environment to the design of embedded system controllers and other digital systems, employing the IOPT Petri net modeling formalism. The tools include a graphical editor, a state-space based model-checking subsystem and automatic code generators to deploy the controllers on the target hardware platforms. This paper presents a new Simulator tool that offers the capability to execute embedded system controllers based on IOPT models in a Web browser. To allow the test and debug of embedded system controllers, the Simulator provides options to manipulate the value of input signals, step by step execution, and continuous execution with programmed step frequency and breakpoint definition. Simulation history is recorded, continuously storing information about the entire system state, to enable playback and history navigation. History data can later be exported in spreadsheet format for analysis with external tools and waveform drawing. The tool can be accessed from http://gres.uninova.pt.</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-1114557" status="VALID">
          <idno type="IdRef">238704718</idno>
          <idno type="ISNI">0000 0001 2181 4263</idno>
          <idno type="ROR">https://ror.org/01c27hj86</idno>
          <idno type="Wikidata">Q1122926</idno>
          <orgName>Universidade de Lisboa = University of Lisbon = Université de Lisbonne [Lisboa]</orgName>
          <orgName type="acronym">ULISBOA</orgName>
          <desc>
            <address>
              <addrLine>Alameda da Universidade 1649-004 Lisboa</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">https://www.ulisboa.pt/en</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-450862" status="VALID">
          <idno type="ROR">https://ror.org/04ea70f07</idno>
          <orgName>Instituto Superior de Engenharia de Lisboa</orgName>
          <orgName type="acronym">ISEL</orgName>
          <desc>
            <address>
              <addrLine>Rua Conselheiro Emídio Navarro,1 1959-007 Lisbon</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">https://www.isel.pt/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-450848" status="VALID">
          <orgName>Instituto de Desenvolvimento de Novas Tecnologias [Caparica]</orgName>
          <orgName type="acronym">UNINOVA</orgName>
          <desc>
            <address>
              <addrLine>UNINOVA - FCT CampusMonte de Caparica - 2829-516 Caparica</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">http://www.uninova.pt/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>