Temeli graf teorisine dayanan Petri ağları, dinamik kesikli-olay sistemlerin tasarımı, analizi ve kontrolünde kullanılan grafiksel ve matematiksel bir modelleme tekniğidir. Petri ağları, incelenen sistemlerin hem davranışsal hem de yapısal analizinde kullanılabilmektedir. Karmaşık yapıdaki kesikli-olay sistemleri etkin bir şekilde modelleyebilme ve analiz edebilme kabiliyeti nedeniyle Petri ağları çok geniş bir uygulama alanına sahiptir. Yüksek düzeyde otomasyona sahip olan esnek üretim sistemleri de Petri