Performance evaluation: Erratum to “Markov regenerative stochastic Petri nets” [20 (1994) 337–357]