Petri ağlarının incelenmesi ve örnek bir kontrol sistemine uygulanması