Petri ağı
Petri ağları (yer/geçiş ağları, Y/G ağları olarak da bilinir), sistemlerin analizi ve modellenmesi için kullanılan güçlü bir araçtır. Petri ağları, bir sistemin matematiksel bir modelle temsil edilmesine olanak tanır ve süreçlerin grafiksel bir notasyon ile ifade edilmesini sağlar. Bu ağlar, geçiş (transition) ve yerleşim (place) düğümlerinden oluşan, tek yönlü iki parçalı bir grafik yapısına sahiptir.