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 |
|||
41. satır:
Eğer bir Petri ağı, basit ağa eş ise, Z {0,1} sayılabilir kümesi olabilir ve ''P'' 'deki M'nin altındaki 1'e karşılık gelen elemanlar, bir konfigürasyon oluşturur. '''''(not: özetle her yerde en fazla 1 jeton bulunur)'''''. Benzer olarak, eğer bir Petri ağı, bir basit ağ değilse, M çoklu küme konfigürasyonların bir alt kümesi olarak ifade edilebilir. '''''(not: özetle basit bir ağda her yer sadece tek bir jeton içerebilirken, Petri ağında böyle bir kısıtlama bulunmamaktadır.)'''''
Bir Petri ağı diyagramında yerler genellikle çember işareti ile, geçişler ise uzunca ve dar dikdörtgenler tarafından, 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ğı ise birden fazla jeton içermektedir. Tüm Petri ağına dağıtılmış jeton konfigürasyonuna, ''işaretleme'' adı verilir.
| |||