Deadlock analysis for continuous Petri nets by using overlapping decompositions

APAYDIN ÖZKAN H., AYBAR A.

IFAC Proceedings Volumes (IFAC-PapersOnline), cilt.11, sa.PART 1, ss.143-148, 2007 (Scopus) identifier

  • Yayın Türü: Makale / Özet
  • Cilt numarası: 11 Sayı: PART 1
  • Basım Tarihi: 2007
  • Doi Numarası: 10.3182/20070723-3-pl-2917.00023
  • Dergi Adı: IFAC Proceedings Volumes (IFAC-PapersOnline)
  • Derginin Tarandığı İndeksler: Scopus
  • Sayfa Sayıları: ss.143-148
  • Anahtar Kelimeler: Continuous Petri nets, Deadlock, Discrete event systems, Large-scale systems, Overlapping decompositions
  • Anadolu Üniversitesi Adresli: Evet

Özet

The continuous Petri nets model, in which the tokens are denoted by real numbers and the firing of transitions depends on speeds of each transition and time, is considered to analyse deadlock in this work. Deadlock analysis, based on overlapping decompositions, is described for this Petri nets model. © 2007 IFAC.