Generate the Post (|v| by |u|) matrix for the SPN. This gives the edges from T to P (output arcs) in the bipartite network.
set of places (P) (see details)
set of transitions (T) (see details)
a matrix of type
The set of transitions (
spn_T) is generated from one of the following: