4GILMORE S. The PEPA Workbench for PEPA Nets: Userrs Manual [EB/OL]. http://www, dcs. ed. ac. uk/ pepa, 2005-09-30/2011-07-01.
5TRIBASTONE M. The PEPA eclipse plug-in project [C]//Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems. New Jersey: IEEE Computer Society Press, 2007.