Graph of Reachable Markings
Graph of reachable markings
For a given initial marking, the Graph of reachable markings
is constructed using the simulation algorithm for all the
possibles CSS. An edge between two markings is labelled by
the corresponding CSS and the name of the event.
Built the Graph of reachable markings for the given initial state
Diapositiva precedente
Diapositiva successiva
Torna alla prima diaposiva
Visualizza versione grafica