Comment/correction: dependability modeling using petri nets


Journal Article

Two arcs are missing in a figure of Malhotra & Trivedi (1995); these arcs are necessary for the proper functioning of the 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. © 1996 IEEE.

Full Text

Duke Authors

Cited Authors

  • Bänsch, K; Heini, A; Malhotra, M; Trivedi, K

Published Date

  • December 1, 1996

Published In

Volume / Issue

  • 45 / 2

Start / End Page

  • 272 - 273

International Standard Serial Number (ISSN)

  • 0018-9529

Digital Object Identifier (DOI)

  • 10.1109/24.510814

Citation Source

  • Scopus