On Achieving Reachability Paths of Petri nets


APAYDIN ÖZKAN H.

9th International Conference on Electrical and Electronics Engineering (ELECO), Bursa, Türkiye, 26 - 28 Kasım 2015, ss.724-728 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Şehir: Bursa
  • Basıldığı Ülke: Türkiye
  • Sayfa Sayıları: ss.724-728
  • Anadolu Üniversitesi Adresli: Evet

Özet

Petri net is a powerful graphical and mathematical tool for analysis and design of discrete event systems. This paper focuses on the reachability path problems in Petri nets. Thereby, two algorithms are developed to create the set of minimal paths and the shortest path to lead the system from the given initial state to a desired state. Both of them are enlightened by dynamic programming approach; that is to say, they are backward techniques. Proposed algorithms do not deal with the reachability tree or graph of the net under analysis and use memory only for storing the obtained paths unlike the approaches based on the reachability tree. Moreover, the algorithms can be applied to general Petri nets without any restriction.