Comment/correction: dependability modeling using Petri nets

Two arcs are missing in a figure of Malhotra & Trivedi (see ibid., vol. 44, p. 428-40, 1995); these arcs are necessary for the proper functioning of the generalized stochastic Petri net (GSPN). Also, priorities of immediate transitions in that figure must be clearer. This note presents a correctly drawn GSPN and describes the priority assignment to immediate transitions in this GSPN.