Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system

Abstract

Veri işleme ve endüstriyel kontrol sistemlerinin artan karmaşıklığıyla karşı karşıya kalan Petri ağları, yerleşik modellerde ifade gücü ve analiz kapasitesi arasında ilginç bir uzlaşmayı temsil ediyor. Yine de birçok durumda, bir PN modelinin karmaşıklığı, işlevsel olarak çok karmaşık olmayan sistemler için bile önemli olabilir. Bu şekilde, bir FIFO'nun n elemanlı ve p mesaj tipiyle temsili, (p+l).n basamaklı bir ikili PN gerektirir. Bu koşullar altında, renkli Petri ağları [JEN 81a] önemli bir katkı sağlayabilir, Simgelerle ve renk kümelerinin geçişleriyle ilişkilendirme ve ağ yaylarıyla ilişkili fonksiyonların tanımlanması, çok özlü ve okunabilir bir görüntü sağlar. açıklanan mekanizmaların temsili. İşaretler (renkler) ve bu işaretler üzerinde yapılan dönüşümler (fonksiyonlar) hakkında bilgi aktarımı yoluyla ağ yapısında bir sadeleştirme vardır. Gösterileceği gibi (~ 2.3) bir FIFO kuyruğu, sadece iki yeri olan renkli bir Petri Ağı vasıtasıyla modellenebilir. Bu yazıda, CPN'nin bir alt sınıfını ve belirli fonksiyonların değişmeliliğine dayalı olarak p-değişmezlerinin (ve t-değişmezlerinin) hesaplanması için bir teknik tanıtıyoruz. Değişebilirlik koşulları doğrulanırsa, genel CPN için bir ayrıştırma/birleştirme stratejisi kullanarak değişmezleri hesaplamak mümkündür. Ayrıca bu yazıda karmaşık bir esnek üretim sisteminin bir CPN modeli sunulmaktadır. Son olarak bu modelin kilitlenmeyen ve sınırlı olduğu kanıtlanmıştır.