Representation of the state of timed-place Petri nets using stretching

AYBAR A., İFTAR A.

IFAC Proceedings Volumes (IFAC-PapersOnline), cilt.4, sa.PART 1, ss.72-77, 2009 (Scopus) identifier

  • Yayın Türü: Makale / Özet
  • Cilt numarası: 4 Sayı: PART 1
  • Basım Tarihi: 2009
  • Doi Numarası: 10.3182/20091006-3-es-4010.00015
  • Dergi Adı: IFAC Proceedings Volumes (IFAC-PapersOnline)
  • Derginin Tarandığı İndeksler: Scopus
  • Sayfa Sayıları: ss.72-77
  • Anahtar Kelimeler: Petri nets, Reachability set, Stretching, Time-delay, Timed-place Petri nets
  • Anadolu Üniversitesi Adresli: Evet

Özet

Unlike untimed Petri nets, representation of the state of a timed Petri net and describing its evolution is not an easy task. Here, an approach, called place-stretching, is introduced to represent the state of a timed-place Petri net. This approach also facilitates the description of the evolution of the state of a timed-place Petri net. An algorithm, which uses this approach, to construct the reachability set of a timed-place Petri net is also developed. An example is also presented to demonstrate the introduced approach and the usage of the developed algorithm.