PN: Formalism Presentation

Petri Nets: Formal Presentation

Natural idea

Built the reachable tree

or

the reachablegraph

Finite graph

The properties are deduced

from the graph

Infinite graph

Built the coverability graph

Exhaustive method, state space explosion.

Reachability (coverability) methods

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica