GSPN and SPA Compared in Practice - Modelling A Distributed Mail System