<?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-00953605</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-18T01:19:46+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">An algebraic condition for product form in stochastic automata networks without synchronizations</title>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Michel</forename>
                <surname>Fourneau</surname>
              </persName>
              <email type="md5">a7195eb21a7dd4779a73774f5d042686</email>
              <email type="domain">uvsq.fr</email>
              <idno type="idhal" notation="string">jean-michel-fourneau</idno>
              <idno type="idhal" notation="numeric">4706</idno>
              <idno type="halauthorid" notation="string">20699-4706</idno>
              <idno type="IDREF">https://www.idref.fr/061122483</idno>
              <orgName ref="#struct-92966"/>
              <affiliation ref="#struct-31978"/>
              <affiliation ref="#struct-37506"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Brigitte</forename>
                <surname>Plateau</surname>
              </persName>
              <idno type="halauthorid">144121-0</idno>
              <orgName ref="#struct-300275"/>
              <affiliation ref="#struct-37506"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">William</forename>
                <surname>J. Stewart</surname>
              </persName>
              <idno type="halauthorid">806941-0</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Arnaud</forename>
                <surname>Legrand</surname>
              </persName>
              <email type="md5">143239914c3e3c1a374a7c244b56d73e</email>
              <email type="domain">imag.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-02-28 14:10:52</date>
              <date type="whenModified">2025-09-27 18:33:40</date>
              <date type="whenReleased">2014-02-28 14:10:55</date>
              <date type="whenProduced">2008</date>
              <ref type="externalLink" target="https://api.istex.fr/ark:/67375/6H6-RHT08LP3-2/fulltext.pdf?sid=hal"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="103594">
                <persName>
                  <forename>Arnaud</forename>
                  <surname>Legrand</surname>
                </persName>
                <email type="md5">143239914c3e3c1a374a7c244b56d73e</email>
                <email type="domain">imag.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00953605</idno>
            <idno type="halUri">https://inria.hal.science/hal-00953605</idno>
            <idno type="halBibtex">fourneau:hal-00953605</idno>
            <idno type="halRefHtml">&lt;i&gt;Performance Evaluation&lt;/i&gt;, 2008, 85, pp.854-868. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.peva.2008.04.007"&gt;&amp;#x27E8;10.1016/j.peva.2008.04.007&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Performance Evaluation, 2008, 85, pp.854-868. &amp;#x27E8;10.1016/j.peva.2008.04.007&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="UNIV-PMF_GRENOBLE">Université Pierre-Mendès-France - Grenoble II</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="PRISM">Parallélisme, Réseaux, Systèmes d'information, Modélisation</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="UVSQ">Université de Versailles Saint-Quentin-en-Yvelines</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">An algebraic condition for product form in stochastic automata networks without synchronizations</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Michel</forename>
                    <surname>Fourneau</surname>
                  </persName>
                  <email type="md5">a7195eb21a7dd4779a73774f5d042686</email>
                  <email type="domain">uvsq.fr</email>
                  <idno type="idhal" notation="string">jean-michel-fourneau</idno>
                  <idno type="idhal" notation="numeric">4706</idno>
                  <idno type="halauthorid" notation="string">20699-4706</idno>
                  <idno type="IDREF">https://www.idref.fr/061122483</idno>
                  <orgName ref="#struct-92966"/>
                  <affiliation ref="#struct-31978"/>
                  <affiliation ref="#struct-37506"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Brigitte</forename>
                    <surname>Plateau</surname>
                  </persName>
                  <idno type="halauthorid">144121-0</idno>
                  <orgName ref="#struct-300275"/>
                  <affiliation ref="#struct-37506"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">William</forename>
                    <surname>J. Stewart</surname>
                  </persName>
                  <idno type="halauthorid">806941-0</idno>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">17843</idno>
                <idno type="issn">0166-5316</idno>
                <title level="j">Performance Evaluation</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">85</biblScope>
                  <biblScope unit="pp">854-868</biblScope>
                  <date type="datePub">2008</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.peva.2008.04.007</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We consider Stochastic Automata Networks (SANs) in continuous time and we prove a sufficient condition for the steady-state distribution to have product form. We consider synchronization-free SANs in which the transitions of one automaton may depend upon the states of the other automata. This model can represent efficiently multidimensional Markov chains whose transitions are limited to one component but whose rates may depend on the state of the chain. The sufficient condition we obtain is quite simple and our theorem generalizes former results on SANs as well as results on modulated Markovian queues, such as Boucherie's theory on competing Markov chain, on reversible queues considered by Kelly and on modulated Jackson queueing networks studied by Zhu. The sufficient condition and the proof are purely algebraic and are based on the intersection of kernels for a certain set of matrices.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-31978" status="OLD">
          <idno type="IdRef">183458028</idno>
          <idno type="RNSR">200312800E</idno>
          <orgName>Parallélisme, Réseaux, Systèmes, Modélisation</orgName>
          <orgName type="acronym">PRISM</orgName>
          <date type="start">2003</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>UFR des sciences PRISM  Bâtiment Descartes 45 avenue des Etats-Unis78035 VERSAILLES</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.prism.uvsq.fr/</ref>
          </desc>
          <listRelation>
            <relation name="FRE3709" active="#struct-81173" type="direct"/>
            <relation name="UMR8144" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-37506" status="OLD">
          <idno type="RNSR">200618273R</idno>
          <orgName>Middleware efficiently scalable</orgName>
          <orgName type="acronym">MESCAL</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Inria Grenoble - Rhône-Alpes 655 avenue de l'Europe - Montbonnot 38334 Saint Ismier Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/mescal</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-24471" type="direct"/>
            <relation active="#struct-3886" type="indirect"/>
            <relation active="#struct-51016" type="indirect"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation active="#struct-300275" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81173" status="VALID">
          <idno type="IdRef">03082057X</idno>
          <idno type="ISNI">0000 0001 2323 0229 </idno>
          <idno type="ROR">https://ror.org/03mkjjy25</idno>
          <orgName>Université de Versailles Saint-Quentin-en-Yvelines</orgName>
          <orgName type="acronym">UVSQ</orgName>
          <date type="start">1991-07-22</date>
          <desc>
            <address>
              <addrLine>55 avenue de Paris - 78035 Versailles cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.uvsq.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>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-24471" status="OLD">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035 </idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-3886" type="direct"/>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-3886" status="OLD">
          <idno type="IdRef">02640432X</idno>
          <idno type="ROR">https://ror.org/02f7wz369</idno>
          <orgName>Université Pierre Mendès France - Grenoble 2</orgName>
          <orgName type="acronym">UPMF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300275" status="OLD">
          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble</orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>