Title :
Comment/correction: dependability modeling using Petri nets
Author :
Bänsch, K. ; Hein, A. ; Malhotra, M. ; Trivedi, K.
Author_Institution :
Erlangen Univ., Germany
fDate :
6/1/1996 12:00:00 AM
Abstract :
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.
Keywords :
Petri nets; reliability theory; stochastic processes; arcs; dependability modeling; generalized stochastic Petri net; immediate transitions; priorities; priority assignment; reliability; Biographies; Chaos; Fires; Internet; Petri nets; Reliability theory; Safety; Stochastic processes;
Journal_Title :
Reliability, IEEE Transactions on
