Show simple item record

Comments on "A modified reachability tree approach to analysis of unbounded Petri nets"

dc.contributor.authorRu, Y.en
dc.contributor.authorWu, W.en
dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorRu, Y.en
dc.creatorWu, W.en
dc.creatorHadjicostis, Christoforos N.en
dc.date.accessioned2019-04-08T07:48:13Z
dc.date.available2019-04-08T07:48:13Z
dc.date.issued2006
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/44821
dc.description.abstractThe 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.sourceIEEE Transactions on Systems, Man, and Cybernetics, Part B: Cyberneticsen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-33749393592&doi=10.1109%2fTCSI.2006.876811&partnerID=40&md5=449aabbf579b59af70ceebabbef13462
dc.subjectTheoretical modelen
dc.subjectAlgorithmsen
dc.subjectAlgorithmen
dc.subjectNoteen
dc.subjectArtificial intelligenceen
dc.subjectComputer simulationen
dc.subjectPetri netsen
dc.subjectModels, theoreticalen
dc.subjectArtificial neural networken
dc.subjectMathematical computingen
dc.subjectNeural networks (computer)en
dc.subjectNumerical analysis, computer-assisteden
dc.subjectReachability treeen
dc.titleComments on "A modified reachability tree approach to analysis of unbounded Petri nets"en
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1109/TCSI.2006.876811
dc.description.volume36
dc.description.issue5
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeArticleen
dc.source.abbreviationIEEE Trans Syst Man Cybern Part B Cybernen
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]
dc.gnosis.orcid0000-0002-1706-708X


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record