dc.contributor.author | Li, L. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Li, L. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:46:57Z | |
dc.date.available | 2019-04-08T07:46:57Z | |
dc.date.issued | 2009 | |
dc.identifier.isbn | 978-1-4244-4524-0 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44077 | |
dc.description.abstract | This paper develops an algorithm for estimating the minimum initial marking based on the observation of a sequence of labels that is produced by underlying transition activity in a given labeled Petri net. We assume that the structure of the net is completely known while the initial marking of the net is unknown. Given the observation of the sequence of labels, we aim to estimate the minimum initial marking of the net, i.e., an initial marking that (i) allows for the -ring of at least one sequence of transitions that is consistent with both the observed sequence of labels and the net structure; and (ii) has the least total number of tokens (i.e., the minimum number of tokens summed over all places). We develop a recursive algorithm that can be used online to find the minimum initial marking with complexity that is polynomial in the length of the observed label sequence. Such minimum initial markings are useful for characterizing the minimum number of resources required at initialization for a variety of systems. © 2009 AACC. | en |
dc.source | Proceedings of the American Control Conference | en |
dc.source | Proceedings of the American Control Conference | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-70449646552&doi=10.1109%2fACC.2009.5160266&partnerID=40&md5=85018190b3065efc734dd25be45fdd88 | |
dc.subject | Estimation | en |
dc.subject | Petri nets | en |
dc.subject | Graph theory | en |
dc.subject | Initial marking | en |
dc.subject | Recursive algorithms | en |
dc.subject | Initial marking estimation | en |
dc.subject | Minimum initial markings | en |
dc.subject | Net structures | en |
dc.subject | Transition activity | en |
dc.subject | Labeled petri nets | en |
dc.subject | Labels | en |
dc.subject | Observed label sequence | en |
dc.title | Minimum initial marking estimation in labeled petri nets | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/ACC.2009.5160266 | |
dc.description.startingpage | 5000 | |
dc.description.endingpage | 5005 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Conference Object | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |