Issue:The modelling of IEEE 802.2 LLC type 3 protocol with generalized nets