Petri Net Algebras for DES Model Transformation

This paper proposes a class of strict and high efficient Petri net algebras by combining the algebraic system theory with net transformation operations for model transformation of discrete event systems. The algebras include the fundamental operation systems of P/T net nodes and blocks as well as the advanced node-interfaced and block-interfaced net operation systems. Meanwhile, the algebraic properties of the net operations defined are discussed, e.g., closure, associativeness, and commutativeness. At the end of the work, application of the algebras presented is illustrated by an example and the result indicates the validity of the algebras.