This paper provides algebraic representation of Petri Nets model, taking
advantage that the releasing principle of Petri Nets depends on reduction process
of Monoiad of the commutative natural numbers.
(In conclusion) Finally, we provided a theore
m that explains how to make use of
algebraic properties, to simulate Petri Nets algebraically and identify the results
we will get after releasing a series of Petri Nets' transitions.