Formal properties of closed flow lines with limited buffer capacities and random processing times