The Bio-PEPA Eclipse Plug-in export wizard translates your Bio-PEPA model to a Systems Biology Markup Language (SBML) model (see [6, 15]) for more information on SBML), as shown in Figure 54 and produces an .xml export file.