On generating a basis of invariants in Petri nets

In this paper we present a simple and fast method to obtain invariants (P-invariants or T-invariants) in Petri nets. Sufficient conditions to apply the proposed algorithm are give. Unlike the previous techniques, our approach consists in transforming the homogeneous equation into a reduced form and, with the aid of simple rules, to obtain a basis of the invariants. It has been shown by means of numerical example that computational requirements are reduced, in comparison with previous methods, for large-scale systems.