Ayrık olay sistemleri için denetleyicilerin sentezlenmesi ve üretim sistemlerine uygulanmasında Petri ağları ve Ramadge-Wonham yöntemlerinin teorik ve deneysel incelenmesi için istatistikler