Reversibility analysis for Petri nets by using T-invariants

Ozkan H. A., AYBAR A.

10th WSEAS International Conference on Automatic Control, Modelling and Simulation, İstanbul, Turkey, 27 - 30 May 2008, pp.291-293 identifier

  • Publication Type: Conference Paper / Full Text
  • City: İstanbul
  • Country: Turkey
  • Page Numbers: pp.291-293
  • Keywords: typing manuscripts, LATEX, SUPERVISORY CONTROLLER-DESIGN
  • Anadolu University Affiliated: Yes

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.