Comments on "A modified reachability tree approach to analysis of unbounded Petri nets"
The above paper introduced the construction of a modified reachability tree (MRT) for (unbounded) Petri nets and its application to reachability, liveness, and deadlock analysis. This note shows via a counterexample that some of the MRT properties claimed in the above paper are incorrect
| Veröffentlicht in: | IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society. - 1997. - 36(2006), 5 vom: 25. Okt., Seite 1210 |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | , |
| Format: | Aufsatz |
| Sprache: | English |
| Veröffentlicht: |
2006
|
| Zugriff auf das übergeordnete Werk: | IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society |
| Schlagworte: | Letter Research Support, Non-U.S. Gov't Comment |
| Zusammenfassung: | The above paper introduced the construction of a modified reachability tree (MRT) for (unbounded) Petri nets and its application to reachability, liveness, and deadlock analysis. This note shows via a counterexample that some of the MRT properties claimed in the above paper are incorrect |
|---|---|
| Beschreibung: | Date Completed 20.11.2006 Date Revised 10.12.2019 published: Print CommentOn: IEEE Trans Syst Man Cybern B Cybern. 2004 Feb;34(1):303-8. doi: 10.1109/tsmcb.2003.811516. - PMID 15369073 Citation Status MEDLINE |
| ISSN: | 1083-4419 |