Petri ağı: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Gundoganfa (mesaj | katkılar) →Çalışma Mantığı: İngilizce maddeden direkt kopyaladım. Türkçe'ye uyarlamaya devam. |
Gundoganfa (mesaj | katkılar) →Çalışma mantığı: Türkçe'ye uyarlandı. |
||
58. satır:
=== Çalışma mantığı ===
Kelimelerle ifade edersek:
*
* M işaretlemesindeki(konfigürasyonundaki) bir geçiş için, sadece ve sadece <math>\forall s: M(s) \geq W(s,t)</math> koşulu sağlanıyorsa, yani geçişin giriş yerlerinde tüketim için yeterli jeton varsa geçiş etkinleştirilmiştir (tetiklenebilir/ateşlenebilir).
Bizler, genellikle tetiklerin rastgele zamanlarda tetiklendiği durumlarda neler olabileceği ile ilgileniriz.
=== Bir adımda ulaşılabilirlik ===
Eğer <math>M \to_G M'</math> ise, ''M'' işaretlemesinden bir adımda <math>M'</math> işaretlemesine ''ulaşılabilir'' deriz''. (Ya da'' <math>M'</math> '', M'''den ''bir adımda ulaşılabilirdir)''
=== Ulaşılabilirlik ===
<math>{\to_G}^*</math> 'nin <math>\to_G</math>'nin [[reflexive transitive closure]]'u olduğu durumlarda ; <math>M {\to_G}^* M'</math> ise, herhangi bir adım sayısında ulaşılabiliyorsa, <math>M'</math> , ''M'' 'den ''ulaşılabilirdir'' deriz.
<math>N=(S,T,W,M_0)\!</math>, işaretli bir Petri ağı olmak üzere, <math>M_0</math> ilk işaretlemesinden itibaren gerçekleştirilebilecek ateşemelerle(tetiklemelerle) ilgileniriz. Bu, ulaşılabiir işaretlemeler kümesidir ve <math>R(N) \ \stackrel{D}{=}\ \{ M' \mid M_0 {\to_{(S,T,W)}}^* M' \} </math>şeklinde gösterilir.
=== Ulaşılabilirlik grafı ===
A ''firing sequence'' for a Petri net with graph ''G'' and initial marking <math>M_0</math> is a sequence of transitions <math>\vec \sigma = \langle t_{i_1} \ldots t_{i_n} \rangle</math> such that <math>M_0 \to_{G,t_{i_1}} M_1 \wedge \ldots \wedge M_{n-1} \to_{G,t_{i_n}} M_n</math>. The set of firing sequences is denoted as <math>L(N)</math>.▼
N'nin ''ulaşılabilirlik graf''ı , onun ulaşılabilir işaretlemeleri<math>R(N)</math> ile sınırlanmış geçiş ilişkileridir <math>\to_G</math> . Bu, ağın [[durum uzayı]]<nowiki/>dır. '''''(özetle, ağın alabileceği tüm durumları gösteren kümedir)'''''
▲
== Kaynakça ==
{{Reflist|30em}}
[[Kategori:Diyagramlar]]
|