Reachability Graph.

Abstract

<p>Fig 13 shows the reachability graph consisting of a total of 56 unique markings and 273 transitions with initial marking <i>M</i><sub>0</sub> = (2, 0, 1, 0, 0, 0).</p

    Similar works

    Full text

    thumbnail-image

    Available Versions