Comment/correction: dependability modeling using Petri nets. - Klaus Bänsch; Axel Hein; Manish Malhotra; Kishor S. Trivedi (IEEE Trans. Reliab., 1996)