Ayrık Olay Sistem Yaklaşımı ile

Tasarım

•Otomatlar (Automata)
•Petri Ağları (Petri Nets)
 Otomat Modeli

State 5 is a deadlock state, and states 3 and 4 are involved in a livelock.

Örnek
Programlama
 n m n m
Qi  (qi   q T )   (q T
j1
j ji
k 1
i ik )  (qi   q T )   (q
j1
j ji
k 1
i  Tik )
Durum denklemleri

n m
Qi  q T
j1
j ji  qi T
k 1
ik

Q1  q2 q3 q4
Q 2  q1T12  q 4 T42  q 2 T23
 m m
Q1  q T  q
j 2
j j1
j 2
j

n m
Qi  q T
j1
j ji  qi q ,
k 1
k q k  f (q i ,Tik ) ,i  2,..., m
PETRİ AĞLARI ile Tasarım
Kurma/Silme (Set/Reset) Komutları ile Gerçekleme
 p1 p1 S1 p1
R
p2

t1 S 1 t2 S2 S
S2 p1

p2 p3
R
p3
S
t3 S1 p2 S1 p2
R
p4
p4
S
Temel Mantıksal Kapılar ile gerçekleme
 t1 t2 tm-k-1 tm-k


pi  t
xi X i
xi  pi  t z i
zi Z i
pi

Xi = {xi  Xi | pi yerinin giriş geçişlerinin indisleri}

Zi = {zi  Zi | pi yerinin çıkış geçişlerinin indisleri}

tm-k+1 tm-k+2 tm-1 tm

 (GETİREN GEÇİŞ)  pi  (ÇIKARAN GEÇİŞ)


pi 
xi X i zi Z i
 
pi  t
xi X i
xi  pi  tz i
zi Z i

Xi = { xi  Xi | xi = j, i=1, …, n, j=1, …, m, dji = 1 ise }

Zi = { zi Zi | zi = j, i=1, …, n, j=1, …, m, dji = -1 ise }

  1  1 1
p1 p2 D
 0 1  1

t1 S1 YERLER
X1   
p1  p1 t1
Z1  {1}
p3
X 2  {2} 
p2  t2  p2 t1
Z 2  {1}
t2 S2
X 3  {1} 
p3  t1  p3 t2
Z3  { 2}
Senkronizasyon Yapısı

p1 p2 S1 t1
t1  p1 p2 S1

p1 p2 p1 t1 p1

p1  p1 t1

p2 t1 p2

t1 S1
p2  p2 t1
p3 p3
p3 
p3  t1  p3
t1

(a) (b)

15
Çakışma Yapısı
p1 S1 t1

p1 S2 t2 t1  p1 S1

p1
p1 t1 t2 p1
t2  p1 S2

p2 p2 p1  p1 t1 t2
t1 S 1 t2 S2

p2 p3
t1
p2  t1  p2
p3 p3 
p3  t2  p3
t2

(a) (b)

17.03.2016 DEMİRYOLU ANKLAŞMAN SİSTEMLERİNİN PETRİ AĞLARI İLE TASARIMI VE GERÇEKLENMESİ 16

Zaman Etiketli Petri Ağları (Olay Öncelikli)

p1 p2 S1 K1

T1
K1 t1
S_ODT K1  p1 p2 S1
p1 p2 “t” TV

p1 t1 p1
p1  p1 t1

t1 S1 
ΔΤ = t sn p2 t1 p2 p2  p2 t1
p3

p3 p3
p3  t1  p3
t1
(a) (b)