PN: Formalism Presentation

Petri Nets: Formal Presentation

Reachability Graph

Fold all nodes with the same marking in the reachability tree

The finite state automaton

equivalent of the Petri net.

Reachability Graph

Reachability Tree

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica