Modeling and Analysis of a Real-Time System Using the Networks of Extended Petri. - Mohammed Blej; Mostafa Azizi (J. Comput., 2009)