Well suited modelling and evaluation techniques based on GSPN for real production systems | IEEE Conference Publication | IEEE Xplore