First Passage Time Computation in Tagged GSPNs with Queue Places