A decentralized approach for computing invariants in large scale and interconnected Petri nets

In paper we present an original approach for the analysis of large scale systems modelled by Petri nets. The analysis of this kind of systems can be very difficult. But by a good decomposition of the huge systems into a lot of smaller ones, we can reduce the complexity of the analysis and thus the erroneous conclusions. The proposed approach is algebraic and gives a parallel algorithm for invariants computing.