1. Lect Notes Comput Sci;M. Ajmone Marsan,1987
2. Ajmone Marsan, M., G. Balbo, and G. Conte: A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems. ACM TOCS, pp. 93–122, 1984.
3. Allmaier, S., and S. Dalibor: PANDA-Petri net analysis and design assistant. In Proc. Performance TOOLS’ 97, Saint Malo, France, 1997.
4. Betous-Almeida, C., and K. Kanoun: Dependability Evaluation-From Functional to Structural Modeling. In Proc. SAFECOMP 2001, pp. 239–249, Springer Verlag, 2001.
5. Bondavalli, A., I. Majzik, and I. Mura: From structural UML diagrams to Timed Petri Nets. European ESPRIT Project 27439 HIDE, Del. 2, Sect. 4, http://www.inf.mit.bme.hu/ , 1998.