| http://www.w3.org/ns/prov#value | - A WorkFlow net (WF-net) is a tuple M=(P, T, F, i, o) such that: P is a finite set of places, T is a finite set of transitions, P???T=???, F???(P???T)???(T???P) is a set of arcs, i??P is the unique source place such that ???i=???, o??P is the unique sink place such that o???=???, every node x??P???T is on a path from i to o, where for each node x??P???T the set ???x={y|(y, x)??F} is the preset of x
|
