The ReGen (Rebeca Generator) resource management software