<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:SUMO</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="New Software and Platforms - SIMSTORS"/>
    <meta name="dc.title" content="New Software and Platforms - SIMSTORS"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2016-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="SUMO"/>
    <script type="text/javascript" src="https://raweb.inria.fr/rapportsactivite/RA2016/static/MathJax/MathJax.js?config=TeX-MML-AM_CHTML">
      <!--MathJax-->
    </script>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Sumo</a>
        </div>
        <span>
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">Overall Objectives<ul><li><a href="./uid3.html">Overall objectives</a></li></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid8.html&#10;&#9;&#9;  ">Analysis and verification of quantitative systems</a></li><li><a href="uid13.html&#10;&#9;&#9;  ">Control of quantitative systems</a></li><li><a href="uid14.html&#10;&#9;&#9;  ">Management of large or distributed systems</a></li><li><a href="uid21.html&#10;&#9;&#9;  ">Data driven systems</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid27.html&#10;&#9;&#9;  ">Smart transportation systems</a></li><li><a href="uid28.html&#10;&#9;&#9;  ">Management of telecommunication networks
and of data centers</a></li><li><a href="uid29.html&#10;&#9;&#9;  ">Collaborative workflows</a></li><li><a href="uid30.html&#10;&#9;&#9;  ">Systems Biology</a></li></ul></div>
      <div class="TdmEntry">
        <a href="./uid32.html">Highlights of the Year</a>
      </div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid34.html&#10;&#9;&#9;  ">Active Workspaces</a></li><li class="tdmActPage"><a href="uid38.html&#10;&#9;&#9;  ">SIMSTORS</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid43.html&#10;&#9;&#9;  ">Analysis and verification of quantitative systems</a></li><li><a href="uid50.html&#10;&#9;&#9;  ">Control of quantitative systems</a></li><li><a href="uid55.html&#10;&#9;&#9;  ">Management of large distributed systems</a></li><li><a href="uid58.html&#10;&#9;&#9;  ">Data driven systems</a></li></ul></div>
      <div class="TdmEntry">Bilateral Contracts and Grants with Industry<ul><li><a href="uid62.html&#10;&#9;&#9;  ">Bilateral Contracts with Industry</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid64.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid75.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid77.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid88.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid94.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid107.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li><a href="uid123.html&#10;&#9;&#9;  ">Popularization</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentmajor" href="bibliography.html">Major publications</a>
          </li>
          <li>
            <a id="tdmbibentyear" href="bibliography.html#year">Publications of the year</a>
          </li>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2016</a> | <a href="http://www.inria.fr/en/teams/sumo">Presentation of the Project-Team SUMO</a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="sumo.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="sumo.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-sumo-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../sumo/sumo.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-sumo-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid34.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid43.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      New Software and Platforms</h2>
        <h3 class="titre3">SIMSTORS</h3>
        <p>SIMSTORS is a simulator for regulated stochastic timed Petri
nets. These Petri nets are a variant of stochastic and timed nets,
whose execution is controlled by a regulation policy an a
predetermined theoretical schedule. The role of the regulation
policy is to control the system to realize the schedule with the
best possible precision. This software allows not only for step by step
simulation, but also for performance analysis of systems such as
production cells or train systems.</p>
        <p>SIMSTORS was used successfully during a collaboration with Alstom
transport to model existing urban railway systems and their
regulation schemes. Alstom transport is willing to transfer this
software and use it during early design phase of regulation
algorithms in their metro lines. This year, the software has been extended to consider
headway management.</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid39"> </a>Participants: Loïc Hélouët and Karim Kecir</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid40"> </a>Contact: Loïc Hélouët</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid41"> </a>URL: <a href="http://www.irisa.fr/sumo/Software/SIMSTORS/">http://www.irisa.fr/sumo/Software/SIMSTORS/</a></p>
          </li>
        </ul>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid34.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid43.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
