Text this: Performance modeling of e-procurement workflow using Generalised Stochastic Petri net (GSPN)