A new Petri net modeling technique for the performance analysis of discrete event dynamic systems. - Samir M. Koriem; T. E. Dabbous; Wail S. El-Kilani (J. Syst. Softw., 2004)