(A) study on petri net and regular net

Abstract

Petri net has been used for modeling and analyzing the concurrent systems. There exists the trade-off between modeling and analyzing the system. To simplify the analysis the algebraic approach is presented for petri net. We show that petri net is transformed into the regular net that permits decomposition and synthesis of net analysis. Structured net that can modularize the net is introduced.