Reversibility analysis for Petri nets by using T-invariants
10th WSEAS International Conference on Automatic Control, Modelling and Simulation, İstanbul, Türkiye, 27 - 30 Mayıs 2008, ss.291-293, (Tam Metin Bildiri)
- 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.