This package contains actions that can be performed on PEPA Net models.