1. Amparore, E., Donatelli, S.: DSPN-Tool: a new DSPN and GSPN solver for GreatSPN. In: Tool Demo Presentation Accepted at QEST 2010, Williamsburg, USA, September 15-18. IEEE-CS Press, Los Alamitos (2010)
2. Amparore, E., Donatelli, S.: MC4CSLTA: an efficient model checking tool for CSLTA. In: Tool Demo Presentation Accepted at QEST 2010, Williamsburg, USA, September 15-18, IEEE-CS Press, Los Alamitos (2010)
3. Amparore, E., Donatelli, S.: Revisiting the Iterative Solution of Markov Regenerative Processes. In: NSMC-2010, Williamsburg, USA (submitted 2010)
4. Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic petri nets. Perform. Eval. 20(1-3), 337–357 (1994)
5. Ciardo, G., Lindemann, C.: Analysis of Deterministic and Stochastic Petri Nets. In: Performance Evaluation, pp. 160–169. IEEE Computer Society, Los Alamitos (1993)