Variables | Meanings |
---|---|
P | A finite set of nodes, called Places |
T | Set of transitions, that is, P∩T=∅ |
F | A set of directed edges called arcs, known as the flow relation, that is, F⊆(P×T)∪(T×P) |
φ | A mapping function used to map P to data types |
R | A transition rule mapping T to predicate logic formula, that is, R :T →Formula |
L | A label mapping F to labels, that is, L :F →Label |
M 0 | An initial marking of places with tokens, that is, M :P →Tokens |