Analysis of ABR in ATM LANs by GSPN models