Vikipedi

Petri ağı: Revizyonlar arasındaki fark

Etkileşimli olarak geçmişe göz at
[kontrol edilmiş revizyon][kontrol edilmiş revizyon]
← Önceki sürümle aradaki farkSonraki sürümle aradaki fark →
İçerik silindi İçerik eklendi
GörselVikimetin
düzeltme AWB ile
Khutuck Bot (mesaj | katkılar)
Botlar
1.111.729 değişiklik
k Kaynaklar ve referanslarda düzenleme
22. satır:
 
== Resmi tanım ve temel terminoloji ==
Petri ağları basit ağ olarak adlandırılan ağların kapsamını genişleten durum-geçiş sistemleridir.<ref>{{Kitap kaynağı |first1ad1 = G.|last1soyadı1 = Rozenburg|first2ad2 = J.|last2soyadı2 = Engelfriet|chapterbölüm = Elementary Net Systems|editor1-first = W.|editor1-last = Reisig|editor2editör2-firstad = G.|editor2editör2-lastsoyadı = Rozenberg|titlebaşlık = Lectures on Petri Nets I: Basic Models - Advances in Petri Nets|volumecilt = 1491|seriesseri = Lecture Notes in Computer Science|publisheryayıncı = Springer|datetarih = 1998|pagessayfalar = 12–121}}</ref>
 
'''Tanım 1.''' Bir <math>N = (P, T, F)</math> ağı üç parametrelidir, öyle ki:
89. satır:
Daha önce de belirtildiği gibi, tanım farklılıklarının en genel olanı, eğri ağırlıklarını göz ardı etmek ve ''W'' ile gösterilen eğriler multisetini, <math>F \subseteq (S \times T) \cup (T \times S)</math> ile gösterilen ve ''akış ilişkisi'' olarak adlandırılan bir basit küme ile değiştirmektir. Bu [[ifade gücü]]nü (''expressive power'') sınırlandırmaz, her ikisi de birbirleri yerine kullanılabilir.
 
Genel olarak kullanılan bir diğer farklılık da, Desel ve Juhás (2001)'ın da kullandığı üzere,<ref>{{Kitap kaynağı | url = http://www.springerlink.com/content/a6lmwqye66ll5w56/ | last1soyadı1 = Desel | first1ad1 = Jörg | last2soyadı2 = Juhás | first2ad2 = Gabriel | chapterbölüm = What Is a Petri Net? Informal Answers for the Informed Reader | editor1-first = Hartmut | editor1-last = Ehrig | editor2editör2 = et al. | titlebaşlık = Unifying Petri Nets | seriesseri = LNCS | volumecilt = 2128 | pagessayfalar = 1–25 | datetarih = 2001 |publisheryayıncı=Springerlink.com |accessdateerişimtarihi=2014-05-14 Mayıs 2014}}</ref> ''kapasite''lerin yerler üzerinde tanımlanmış olmasına izin verilmesidir. Aşağıda ''ekler'' bölümünde bu konu tartışılmıştır.
 
== Vektör ve matris şeklinde formülasyon - vektörizasyon ==
"https://tr.wikipedia.org/wiki/Petri_ağı" sayfasından alınmıştır