In: Petri Net Newsletter, Vol. 64, pages 3-6. April 2003. Cover Picture Story.
Abstract: Concepts of subnet with input and output places and, especially, functional subnet are introduced. Formal methods for the decomposition of an arbitrary Petri net into functional subnets are developed. The generatin family of subnets is presented and grounded. An efficient polynomial algorithm of the decomposition of an arbitrary Petri net is constructed.
Keywords: decomposition; subnet; contact place.