Addings of the XesTranslator and the PromLTLExecution classes