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