Parallel and distributed graph transformation - formal description and application to communication-based systems