First Passage Time Computation in Tagged GSPNs with Queue Places

Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis. First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J., 54(5):653-673, 2011. [doi]

Abstract

Abstract is missing.