Issue:Generalized net model of the dynamic host configuration protocol