dc.contributor.author | Ru, Y. | en |
dc.contributor.author | Wu, W. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Ru, Y. | en |
dc.creator | Wu, W. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:48:13Z | |
dc.date.available | 2019-04-08T07:48:13Z | |
dc.date.issued | 2006 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44821 | |
dc.description.abstract | 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. © 2006 IEEE. | en |
dc.source | IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-33749393592&doi=10.1109%2fTCSI.2006.876811&partnerID=40&md5=449aabbf579b59af70ceebabbef13462 | |
dc.subject | Theoretical model | en |
dc.subject | Algorithms | en |
dc.subject | Algorithm | en |
dc.subject | Note | en |
dc.subject | Artificial intelligence | en |
dc.subject | Computer simulation | en |
dc.subject | Petri nets | en |
dc.subject | Models, theoretical | en |
dc.subject | Artificial neural network | en |
dc.subject | Mathematical computing | en |
dc.subject | Neural networks (computer) | en |
dc.subject | Numerical analysis, computer-assisted | en |
dc.subject | Reachability tree | en |
dc.title | Comments on "A modified reachability tree approach to analysis of unbounded Petri nets" | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1109/TCSI.2006.876811 | |
dc.description.volume | 36 | |
dc.description.issue | 5 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | IEEE Trans Syst Man Cybern Part B Cybern | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |