Virtual waiting time in queues obtained from second order FSPNs | IEEE Conference Publication | IEEE Xplore