dc.contributor.author | Cabasino, M. P. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.contributor.author | Seatzu, C. | en |
dc.creator | Cabasino, M. P. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.creator | Seatzu, C. | en |
dc.date.accessioned | 2019-04-08T07:44:57Z | |
dc.date.available | 2019-04-08T07:44:57Z | |
dc.date.issued | 2015 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/42930 | |
dc.description.abstract | Given a labeled Petri net, possibly with silent (unobservable) transitions, we are interested in performing marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial markings, each with some a priori probability, and our goal is to obtain the conditional probabilities of possible markings of the Petri net, conditioned on an observed sequence of labels. Under the assumptions that (i) the set of possible markings, starting from any reachable marking and following any arbitrarily long sequence of unobservable transitions, is bounded, and (ii) a characterization of the a priori probabilities of occurrence for each transition enabled at each reachable marking is available, explicitly or implicitly, we develop a recursive algorithm that efficiently performs current marking estimation. © 1963-2012 IEEE. | en |
dc.source | IEEE Transactions on Automatic Control | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84921804626&doi=10.1109%2fTAC.2014.2343373&partnerID=40&md5=992c282c937ef5c92bd94c97a782a382 | |
dc.subject | Probability | en |
dc.subject | Petri nets | en |
dc.subject | Initial marking | en |
dc.subject | Marking estimation | en |
dc.subject | A-priori probabilities | en |
dc.subject | Conditional probabilities | en |
dc.subject | Current/initial marking estimation | en |
dc.subject | Labeled petri nets | en |
dc.subject | Long sequences | en |
dc.subject | Probabilistic marking | en |
dc.subject | Probabilistic petri nets | en |
dc.subject | Recursive algorithms | en |
dc.title | Probabilistic marking estimation in labeled petri nets | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1109/TAC.2014.2343373 | |
dc.description.volume | 60 | |
dc.description.issue | 2 | |
dc.description.startingpage | 528 | |
dc.description.endingpage | 533 | |
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 Autom Control | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |