Performance analysis of timed Petri net models for communication protocols: a methodology and a package. - M. Reda El-Karaksy; Adnan S. Nouh; AbdulRahman Al-Obaidan (Comput. Commun., 1990)

Knowledge-based approach to Petri nets analysis. - M. Benmaiza; M. Reda El-Karaksy (Knowl. Based Syst., 1991)

A Decomposition Procedure for the Design of Normalised Relational Schemata. - M. M. Hamed; M. Reda El-Karaksy (Comput. J., 1992)