I want to model a purification of the Petri Network. And i was given the suggestion to use a matrix which is allocated dynamically. After thinking about the problem i came up with a different approach like so:
A static matrix of n transitions and p locations and a function which returns the purified matrix from the static matrix.
Which approach is the safest and the best? The static implementation or the dynamical one?