Generalized PN

Generalized Petri Nets

Firing rules:

1. A transition t is enabled if each input place p of t contains

at least w(p,t) tokens

2. Firing a transition t means removing w(p,t) tokens from

each input place p and adding w(t,q) tokens to each

output place q .

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica