A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems