Issue:The modelling of data link layer receiver with generalized nets