The GreatSPN tool: recent enhancements.

Published in: SIGMETRICS Perform. Evaluation Rev. (2009)