ATM admission models of stochastic high level Petri nets based on hierarchical modeling | IEEE Conference Publication | IEEE Xplore