We model some lossless queuing systems arising in guaranteed service networks as non-linear min-plus systems that can be bounded by linear systems. We propose a methodology and apply it to the window flow control problem previously studied by Cruz and Okino, Chang, Agrawal and Rajan. We explain the existing bounds and derive a refined, tighter bound. We also show how the same method can be used to model also systems with losses.