<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-005-09-0574</article-id>
      <article-id pub-id-type="publisher-id">27590</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.1.1 - Models of Computation</subject>
          <subject>J.7 - COMPUTERS IN OTHER SYSTEMS</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Decomposition of Timed Automata</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Mason</surname>
            <given-names>Kahn</given-names>
          </name>
          <email xlink:type="simple">kmason@leland.stanford.edu</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Krishnan</surname>
            <given-names>Padmanabhan</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Engineering-Economic Systems and Operations Research, Stanford University, Stanford University, United States of America</addr-line>
        <institution>Engineering-Economic Systems and Operations Research, Stanford University</institution>
        <addr-line content-type="city">Stanford University</addr-line>
        <country>United States of America</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Department of Computer Science, University of Canterbury, , New Zealand</addr-line>
        <institution>Department of Computer Science, University of Canterbury</institution>
        <country>New Zealand</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Kahn Mason (<email xlink:type="simple">kmason@leland.stanford.edu</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>1999</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>09</month>
        <year>1999</year>
      </pub-date>
      <volume>5</volume>
      <issue>9</issue>
      <fpage>574</fpage>
      <lpage>587</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/CBD4F8AB-D618-53C0-923D-FB1CF32D74D4">CBD4F8AB-D618-53C0-923D-FB1CF32D74D4</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/6995714">6995714</uri>
      <permissions>
        <copyright-statement>Kahn Mason, Padmanabhan Krishnan</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>In this paper we extend the notion of homomorphisms and decomposition to timed automata. This is based on the classical Hartmanis-Stearns decomposition results for finite state automata. As in the classical theory, the existence of non-trivial orthogonal partitions is both necessary and sufficient for non-trivial decompositions. Of course, now these partitions have to include both the set of states and the set of timers (or clocks) in the system. We present an example which illustrate the various issues.</p>
      </abstract>
    </article-meta>
  </front>
</article>
