Modelling database server sizing for concurrent users using coloured Petri-nets | IEEE Conference Publication | IEEE Xplore