Reversibility analysis for Petri nets by using T-invariants

Abstract

In this work, we propose a method, based on T-invariants, to analyse reversibility of Petri nets. Proposed method determines all possible transition sequences, corresponding to minimal T-invariants. Then a reversible set is constructed by using these sequences. A corresponding pseudo-code algorithm of the method is written and it is implemented by using Matlab.