Soundness

A WF net N is sound iff the short-circuited WF marked net

<N; [i ]> is bounded and live.

Soundness

Is this WF net sound?

The soundness property

corresponds to two standard

Petri-net properties :

liveness and boundedness

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica