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, Türkiye, 27 - 30 Mayıs 2008, ss.291-293 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Şehir: İstanbul
  • Basıldığı Ülke: Türkiye
  • Sayfa Sayıları: ss.291-293
  • Anahtar Kelimeler: typing manuscripts, LATEX, SUPERVISORY CONTROLLER-DESIGN
  • Anadolu Üniversitesi Adresli: Evet

Özet

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.