Issue:Generalized net model of abstract machine for connection establishment