PN: Formalism Presentation

Petri Nets: Formal Presentation

Coverability tree - Coverability graph

Symbol w

Properties of w : for all integer n

The symbol w can be considered as representative an

arbitrarily large quantity of tokens

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica