Bu tezde, kesikli olay sistemlerini modelleme yöntemlerinden biri olan zamanlandırılmış Petri ağları ele alınmıştır. Bu modelde, aynı anda veya devam etmekte olan ateşlemeler mevcut iken birden fazla geçiş ateşlenebilmektedir. ...