Content deleted Content added
Magioladitis (talk | contribs) m →References: clean up using AWB (8279) |
removed extra blank line |
||
Line 46:
* 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.
<!--- consequence: short loops never occur. --->
| |||