Petri ağı: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Khutuck Bot (mesaj | katkılar) k Bot v3: Kaynak ve içerik düzenleme (hata bildir) |
|||
43. satır:
Bir Petri ağı diyagramında (sağ üst köşeye bakın), yerler genellikle çemberler tarafından, geçişler genellikle uzunca ve dar dikdörtgenler tarafından ve eğriler yerlerden geçişlere yahut geçişlerden yerlere bağlantıları gösteren tek yönlü oklar tarafından modellenir. Eğer diyagram basit bir ağa ait olsaydı, yerler yine çemberler tarafından gösterilecekti. Ancak bu defa, her bir çember bir ''jeton'' içerebilecekti. Yukarıda sağda gözüken Petri ağında, bir konfigürasyonda bir yerin kaç defa gözüktüğünün ifadesi olarak yer birden fazla jeton içermektedir. Tüm Petri ağına dağıtılmış jeton konfigürasyonuna, ''işaretleme'' adı verilir.
Yukarıda sağdaki resimde, ''p<sub>1</sub>'' yeri, ''t geçişinin giriş yeridir; p<sub>2</sub>'' yeri ise aynı geçişin çıkış yeridir. Üst resimde bulunan ''PN<sub>0</sub>'' Petri ağı, ''M<sub>0</sub>'' işaretlemesi ile alt resimde bulunan ''PN<sub>1</sub>'' ağı ise ''M<sub>1</sub>'' işaretlemesi ile konfigüre edilmiş(yahut işaretlenmiş) olsun. ''PN<sub>0</sub>''<nowiki/>'ın konfigürasyonu, tüm giriş yerleri yeteri kadar sayıda jeton
'''Hatırlatma 1.''' "büyük veya eşittir" tabirinin kesin anlamı, tetikleme kuralındaki toplama işleminin cebirsel kesinliğine bağlıdır. Cebirsel özelliklerdeki farklı varyasyonlar bizi farklı Petri ağı sınıflarına götürebilir. Örneğin: Cebirsel Petri Ağları.
|