In: Proceedings of Odessa National Telecommunication Academy, no. 4,, pages 57-63. 2003. In Russian.
Abstract: Method of Petri nets invariants calculation based on decomposition of a given net into functional subnets is represented. Method consists in calculation of invariants for functional subnets and subsequent recovery of invariants for source net. Exponential acceleration of computations was obtained. The results are explained with example.
Keywords: Petri net; Invariant; Composition; Functional subnet.