Alpha algorithm: Difference between revisions

Content deleted Content added
remove second instance of wikilink to same term
Ɯ (talk | contribs)
mNo edit summary
Line 51:
<!--- show: which is indeed always a workflow net because there is always a <math>F_W</math>-path from <math>i_W</math> through every transition to <math>o_W</math> --->
 
<!--- consequence: short loops never coouroccur. --->
 
== Properties ==