10th WSEAS International Conference on Automatic Control, Modelling and Simulation, İstanbul, Turkey, 27 - 30 May 2008, pp.291-293
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.