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:
In words:
* firingM aişaretlemesindeki(konfigürasyonundaki) transition ''t'' ingeçişinin aateşlenmesi, markinggeçişin ''M''giriş yerlerinden(s) consumes <math>W(s,t)</math> tokensadet fromjetonun eachtüketilmesine, ofve itsgeçişin inputçıkış places ''yerlerinde(s'', and produces) <math>W(t,s)</math> tokensadet injetonun eachüretilmesine ofsebep its output places ''s''olur.
* 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).
* a transition is ''enabled'' (it may ''fire'') in ''M'' if there are enough tokens in its input places for the consumptions to be possible, i.e. iff <math>\forall s: M(s) \geq W(s,t)</math>.
 
Bizler, genellikle tetiklerin rastgele zamanlarda tetiklendiği durumlarda neler olabileceği ile ilgileniriz.
We are generally interested in what may happen when transitions may continually fire in arbitrary order.
 
=== Bir adımda ulaşılabilirlik ===
We say that a marking <math>M'</math> ''is reachable from'' a marking ''M'' ''in one step'' if <math>M \to_G M'</math>; we say that it ''is reachable from'' ''M'' if <math>M {\to_G}^* M'</math>, where <math>{\to_G}^*</math> is the [[reflexive transitive closure]] of <math>\to_G</math>; that is, if it is reachable in 0 or more steps.
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 ===
For a (marked) Petri net <math>N=(S,T,W,M_0)\!</math>, we are interested in the firings that can be performed starting with the initial marking <math>M_0</math>. Its set of ''reachable markings'' is the set
<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>R(N) \ \stackrel{D}{=}\ \{ M' \mid M_0 {\to_{(S,T,W)}}^* M' \} </math>
 
<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.
The ''reachability graph'' of ''N'' is the transition relation <math>\to_G</math> restricted to its reachable markings <math>R(N)</math>. It is the [[state space]] of the net.
 
=== 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)'''''
 
A ''firingG sequence''grafına for a Petri net with graph ve''G'' and initial marking <math>M_0</math> is''''ilk adurumuna sequencesahip ofbir transitionsPetri ağındaki ateşleme sekansı (ya da sıralı ateşleme kümesi)'''' <math>\vec \sigma = \langle t_{i_1} \ldots t_{i_n} \rangle</math> such''''ile thatgösterilir. Öyle ki;''''<math>M_0 \to_{G,t_{i_1}} M_1 \wedge \ldots \wedge M_{n-1} \to_{G,t_{i_n}} M_n</math>. Burada Theateşleme setsekanslarının ofkümesi firing sequences is denoted as <math>L(N)</math> ile gösterilmiştir.
== References ==
 
== Kaynakça ==
{{Reflist|30em}}
[[Kategori:Diyagramlar]]
"https://tr.wikipedia.org/wiki/Petri_ağı" sayfasından alınmıştır