Petri ağı: Revizyonlar arasındaki fark
| [kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Gundoganfa (mesaj | katkılar) kDeğişiklik özeti yok |
Gundoganfa (mesaj | katkılar) kDeğişiklik özeti yok |
||
54. satır:
* <math>W: (S \times T) \cup (T \times S) \to \mathbb{N}</math> eğriler ''<u>multiset</u>idir''.. Her bir eğriye, negatif olmayan bir tamsayı(Eğri ağırlığı) ataması yapar.
Akış ilişkisi eğrilerin bir kümesidir: <math> F = \{ (x,y) \mid W(x,y) > 0 \}</math>. Birçok kitap, eğrilerin ağırlığının yalnızca 1 olabileceğini yazar. Bu yazılar genellikle Petri ağlarını ''W yerine ''F'''' ile tanımlarlar. Bu yaklaşım kullanıldığında, bir Petri ağı [[bipartite|iki parçalı
Bir geçişin girdi kümesi(preset) ''t, o geçişe ait giriş yerlerinin kümesidir'': <math>{}^{\bullet}t = \{ s \in S \mid W(s,t) > 0 \}</math>; Geçişin çıktı kümesi(''postset)'' geçişe ait çıkış yerlerinin kümesidir: <math>t^{\bullet} = \{ s \in S \mid W(t,s) > 0 \}</math>. yerlerin girdi çıktı kümelerinin tanımları benzerdir (analoji).
| |||