Soundness

Soundness

We can also built the coverability graph of the

short-circuited WF net

to analyze the properties of liveness and boudness

(c8,i) is greatest than the initial marking (i)

then the WF net is unbouded

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica