رسالة الماجستير
تصميم المعالجات غير المتزامنة باستخدام شبكات بتري عالية الرتبة
Asynchronous processor design using Higher-Order Petri Nets
رسالة الدكتوراه
شبكات بتري عالية الرتبة الفازية وتطبيقاتها لادارة عدم التأكد في النظم الخبيرة
Fuzzy Higher-Order Ptri Nets and its applications to manage uncertainty in expert system