In: Cortadella, Yakovlev (Eds.): Proceedings of Workshop on Token based computing (ToBaCo), Satellite Event of the 25-th International conference on application and theory of Petri nets, Bologna, Italy, June 21-25, 2004, pages 79-83. June 2004.
Abstract: The decomposition-based technique for calculation of Petri net invariants is presented. It was proved that invariants of the entire Petri net might be constructed of invariants of its functional subnets. The acceleration of calculations obtained is exponential with respect to the number of Petri net nodes.
Keywords: Petri net; Invariant; Decomposition; Functional subnet.