Performance analysis of user association policies in small cell networks using Stochastic Petri Nets | IEEE Conference Publication | IEEE Xplore