In: Cybernetics and Systems Analysis, no. 5, pages 131-140. 2004.
Abstract: The problem of splitting of any given Petri net into its functional subnets is considered. Properties of functional subnets and their inducing sets are investigated. Graph of decomposition into functional subnets is introduced. Two ways of decomposition are considered: with the aid of logical equations and an algorithmic. The algorithm of net decomposition possessing a polinomial complexity is constructed.
Keywords: Petri net; Functional Subnet; Decomposition.