ABSTRACT : |
In this paper we define a new sub class of Petri nets called algebraic conservative Petri nets (ACPN) for a given symmetric group Sn . We prove that the resulting Petri net (ACPN) is a marked graph. In particular, we show that the algebraic conservative Petri nets associated with S3 and S5 has decompositions Π={Π1,Π2,Π3,Π4,Π5} and Π'={Π1,Π2,Π3,Π4,...,Π84} respectively, for the sets of places such that each block Πi is both siphon and trap and hence the underlying directed graphs of these algebraic conservative Petri nets are Eulerian. Also we show that each of the ACPN associated with these groups has a subset of places which are both siphon and trap such that the input transitions equal the output transitions and both of them equal to the set of all transitions of these algebraic conservative Petri nets and hence that the underlying directed graphs of these algebraic conservative Petri nets associated with S3 and S5 are Hamiltonian.
Keywords:Algebraic Conservative Petri Nets, Siphons,Traps, Symmetric Groups , Directed Graphs |
|