Alpha algorithm: Difference between revisions

Revision as of 13:37, 5 November 2019

Revision as of 16:10, 14 January 2020

Line 43:

The result is

* a [[petriPetri net]] structure <math>\alpha(W) = (P_W,T_W,F_W)</math>

* with one input place <math>i_W</math> and one output place <math>o_W</math>

* because every transition of <math>T_W</math> is on a <math>F_W</math>-path from <math>i_W</math> to <math>o_W</math>, it is indeed a workflow net.