Теоретическое обоснование метода Тудика

Abstract

A theoretical grounding of the well-known and described in the literature as heuristic Toudic method meant for a searching of the Petri-nets invariants, that is an integer nonnegative decision of a linear homogeneous diophantine equations system, is proposed. First the grounding of the one equation's decision basis is given, then the results for the whole equation's system are synthesized. To generate all solutions via Toudic's basis a linear combination is extended by special operation of reduction in common measure of vectors' component.