PN: Formalism Presentation

Petri Nets: Formal Presentation

Marked Net

A marked net is a structure :

RdPM = < RdP, M>

M0 =

2

3

The marking is the state of the net

The initial state M0 is 2

tokens in P1, and 3 in P2

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica