published by Aِl-Baath University
in 2017
in
and research's language is
العربية
Download
Abstract in English
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 theorem 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.
References used
ANTSAKLIS, P., IORDACHE, M., 2006 - A Petri Net Structural Approach , Birkhäuser Boston, University of Illinois, USA, 1-28
GOOS, G., HARTMANIS, J., LEENWEN, J., 2014 - Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Springer International Publishing, Tunis, Tunisia, 233-252