A simulation algorithm for real systems using petri nets

AYBAR A., AYBAR E.

WSEAS Transactions on Systems, cilt.6, sa.11, ss.1324-1329, 2007 (Scopus) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 6 Sayı: 11
  • Basım Tarihi: 2007
  • Dergi Adı: WSEAS Transactions on Systems
  • Derginin Tarandığı İndeksler: Scopus
  • Sayfa Sayıları: ss.1324-1329
  • Anahtar Kelimeler: Discrete event systems, Reachability set, Simulation, Timed Petri nets
  • Anadolu Üniversitesi Adresli: Evet

Özet

The real systems are considered to determine all states in the given time interval in this work. The timed Petri net that time delays are assigned to the transition is chosen to model for the real systems. Then, a new class of timed transition Petri nets is introduced to develop a simulation algorithm. In this new class, two or more transitions can fire at the same time and with multiple firings of any transition. Thus, it is possible that the reachability set whose elements are states of the considered system. An algorithm, which constructs the reachability set which is necessary to observe the behavioral properties of all Petri nets model, in the time interval, is developed.