Petri nets approach for the analysis of MASCOT interprocess communications. - Mustafa Abdulrahman Jiffry (2000)