                     <span class="separator"></span>
                        <a class="trait" href="Types$$Spn.html" title="Main trait for stochastic Petri nets (SPNs)"></a>
                        <a href="Types$$Spn.html" title="Main trait for stochastic Petri nets (SPNs)">Spn</a>
                      </li><li class="current-entities indented2">
                        <span class="separator"></span>
                        <a class="trait" href="Types$$State.html" title="State type class, with implement