Workflow Nets

Workflow nets

Definition :

A P/T net N = < P, T, pre, post> is a workflow net

(WF net), iff:

- it has one input place i

- it has one output place o

- the short-circuited net obtained from this

Petri net, is strongly connected

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica