| Title | Comment/correction: dependability modeling using petri nets |
| Publication Type | Journal Article |
| Year of Publication | 1996 |
| Authors | K Bänsch, A Heini, M Malhotra, and K Trivedi |
| Journal | IEEE Transactions on Reliability |
| Volume | 45 |
| Issue | 2 |
| Start Page | 272 |
| Pagination | 272 - 273 |
| Date Published | 12/1996 |
| Abstract | 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. |
| DOI | 10.1109/24.510814 |
| Short Title | IEEE Transactions on Reliability |