Renkli Petri ağı - Coloured Petri net

Renkli Petri ağları bir geriye dönük uyumlu uzantısı matematiksel kavramı Petri ağları.

Renkli Petri ağları, Petri ağlarının kullanışlı özelliklerini korur ve aynı zamanda jetonlar arasındaki ayrıma izin vermek için ilk biçimciliği genişletir.^[1]

Renkli Petri ağları, jetonların kendilerine eklenmiş bir veri değerine sahip olmasına izin verir. Bu ekli veri değerine belirteç denir renk. Renk keyfi olarak karmaşık tipte olabilse de, renkli Petri ağlarındaki yerler genellikle tek tip jetonlar içerir. Bu tür, renk seti yerin.

Tanım 1. Bir ağ bir demet N = (P, T, Bir, Σ, C, N, E, G, ben ) nerede:

• P bir dizi yerler.
• T bir dizi geçişler.
• Bir bir dizi yaylar

Renkli Petri ağlarında yer, geçiş ve yay kümeleri çift olarak ayrıktır P ∩ T = P ∩ Bir = T ∩ Bir = ∅

• Σ bir dizi renk kümesidir. Bu set, renkli Petri ağında kullanılan tüm olası renkleri, işlemleri ve işlevleri içerir.
• C bir renk işlevidir. İçindeki yerleri eşler P Σ renklerine.
• N bir düğüm işlevidir. Eşlenir Bir içine (P × T) ∪ (T × P).
• E bir yay ifade fonksiyonudur. Her yayı eşler a ∈ Bir ifadeye e. Ark ifadelerinin giriş ve çıkış türleri, arkın bağlı olduğu düğümlerin tipine karşılık gelmelidir.

Düğüm işlevinin ve yay ifade işlevinin kullanılması, birden çok yayın aynı düğüm çiftini farklı yay ifadeleriyle bağlamasına izin verir.

• G bir koruma işlevidir. Her geçişi eşler t ∈ T bir muhafız ifadesine g. Koruma ifadesinin çıktısı Boolean değeri olarak değerlendirilmelidir: true veya false.
• ben bir başlatma işlevidir. Her p konumunu bir başlatma ifadesine eşler ben. Başlatma ifadesi, yerin rengine karşılık gelen bir renge sahip çok sayıda simge kümesini değerlendirmelidir C(p).

Renkli Petri ağlarıyla çalışmak için iyi bilinen bir program cpntools.

Referanslar

Dış bağlantılar