le things" class="class"></a><a href="package$$ThinnableSyntax.html" title="Provision of the .thin syntax for Thinnable things">ThinnableSyntax</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="" title="Case class for SPNs without an initial marking" class="class"></a><a href="" title="Case class for SPNs without an initial marking">UnmarkedSpn</a></li></ul></div></div><div id="content"><body class="class type"><div id="definition"><div class="big-circle class">c</div><