PN: Formalism Presentation

Petri Nets: Formal Presentation

Quasi-Liveness and Liveness

A transition Ti is quasi-live for an initial marking M0

iff it exists a reachable marking Mk such as Ti is enabled.

Quasi-live Net

A Petri Net is quasi- live for M0 if all its transitions

are quasi- live.

In other words,A transition t is quasi- live for M0 if there is

a firing sequence from M0 that contains t .

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica