Generate the Pre (|v| by |u|) matrix for the SPN. This gives the edges from P to T (input 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: