Comment/correction: dependability modeling using Petri nets
K. Bansch, Aleksandra Hein, M. Malhotra, K.S. Trivedi · IEEE Transactions on Reliability · 1996
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.