{"id":"https://openalex.org/W2167355005","doi":"https://doi.org/10.1109/acc.2007.4282814","title":"Least-Cost Firing Sequence Estimation in Labeled Petri Nets with Unobservable Transitions","display_name":"Least-Cost Firing Sequence Estimation in Labeled Petri Nets with Unobservable Transitions","publication_year":2007,"publication_date":"2007-07-01","ids":{"openalex":"https://openalex.org/W2167355005","doi":"https://doi.org/10.1109/acc.2007.4282814","mag":"2167355005"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2007.4282814","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2007.4282814","pdf_url":null,"source":{"id":"https://openalex.org/S4210168941","display_name":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","issn_l":"0743-1619","issn":["0743-1619","2378-5861"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 American Control Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101586017","display_name":"Lingxi Li","orcid":"https://orcid.org/0000-0002-5192-492X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Lingxi Li","raw_affiliation_strings":["Coordinated Science Laboratory and the Department of Electrical and Computer Engineering, University of Illinois, Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"Coordinated Science Laboratory and the Department of Electrical and Computer Engineering, University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030551100","display_name":"Christoforos N. Hadjicostis","orcid":"https://orcid.org/0000-0002-1706-708X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christoforos N. Hadjicostis","raw_affiliation_strings":["Coordinated Science Laboratory and the Department of Electrical and Computer Engineering, University of Illinois, Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"Coordinated Science Laboratory and the Department of Electrical and Computer Engineering, University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101586017"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.25227964,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"4963","last_page":"4968"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unobservable","display_name":"Unobservable","score":0.9911925196647644},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8516248464584351},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.8125063180923462},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4906395971775055},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.4802711009979248},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.44406911730766296},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4268742501735687},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4231635332107544},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37001776695251465},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3249368369579315},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10728839039802551},{"id":"https://openalex.org/keywords/econometrics","display_name":"Econometrics","score":0.08319962024688721},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.07557746767997742}],"concepts":[{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.9911925196647644},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8516248464584351},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.8125063180923462},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4906395971775055},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.4802711009979248},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.44406911730766296},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4268742501735687},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4231635332107544},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37001776695251465},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3249368369579315},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10728839039802551},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.08319962024688721},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.07557746767997742},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acc.2007.4282814","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2007.4282814","pdf_url":null,"source":{"id":"https://openalex.org/S4210168941","display_name":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","issn_l":"0743-1619","issn":["0743-1619","2378-5861"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 American Control Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1531605720","https://openalex.org/W1587663028","https://openalex.org/W1996109622","https://openalex.org/W2044981168","https://openalex.org/W2063143284","https://openalex.org/W2098432798","https://openalex.org/W2111934067","https://openalex.org/W2124296044","https://openalex.org/W2149836706","https://openalex.org/W2155447404","https://openalex.org/W2160792115","https://openalex.org/W3216987963","https://openalex.org/W4241747843","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W2008534419","https://openalex.org/W2151008975","https://openalex.org/W2792638268","https://openalex.org/W993532209","https://openalex.org/W1543378523","https://openalex.org/W2741602769","https://openalex.org/W2079877197","https://openalex.org/W1578306890","https://openalex.org/W4384915695","https://openalex.org/W2916743419"],"abstract_inverted_index":{"This":[0],"paper":[1],"develops":[2],"a":[3,18,27,46,76,109,186,198],"recursive":[4,187],"algorithm":[5,188,223],"for":[6],"estimating":[7],"the":[8,15,67,84,91,100,106,118,124,133,143,151,160,171,175,191,208,212,233,236],"least-cost":[9,192],"transition":[10,24,65],"firing":[11,44,55,119,154,193,203],"sequences":[12,155],"that":[13,39,63,121,156,180,189,229],"match":[14],"observation":[16],"of":[17,20,93,105,108,139,153,174,201,235,239],"sequence":[19,238],"labels":[21],"produced":[22],"by":[23],"activity":[25],"in":[26,66,142,211,232],"given":[28,68,110],"labeled":[29,111],"Petri":[30,33,112,176],"net.":[31],"The":[32,137],"nets":[34],"we":[35,114,178],"consider":[36],"have":[37,218],"transitions":[38,141,173,210],"are":[40,214],"observable":[41],"(i.e.,":[42,53],"their":[43,54],"produces":[45],"not":[47,57],"necessarily":[48],"unique":[49],"label)":[50],"or":[51,95],"unobservable":[52,71,140,172,209],"does":[56],"produce":[58],"any":[59],"label).":[60],"We":[61],"assume":[62],"each":[64],"net":[69,144,213],"(including":[70],"transitions)":[72],"is":[73,129,157,182,230],"associated":[74],"with":[75,132,159],"nonnegative":[77],"cost":[78,85,127],"which":[79],"captures":[80],"its":[81],"likelihood":[82],"(e.g.,":[83],"could":[86],"be":[87,165],"inversely":[88],"proportional":[89],"to":[90,98,184],"amount":[92],"workload":[94],"power":[96],"required":[97],"execute":[99],"transition).":[101],"Assuming":[102],"full":[103],"knowledge":[104],"structure":[107],"net,":[113,177],"aim":[115],"at":[116],"finding":[117],"sequence(s)":[120,194],"has":[122,224],"(have)":[123],"least":[125],"total":[126],"and":[128,217,226],"(are)":[130],"consistent":[131,158],"observed":[134,237],"label":[135,161],"sequence.":[136],"existence":[138],"makes":[145],"this":[146,222],"task":[147],"extremely":[148],"challenging":[149],"since":[150],"number":[152,200],"observations":[162],"can":[163],"potentially":[164],"infinite.":[166],"Under":[167],"some":[168],"conditions":[169],"on":[170],"show":[179],"it":[181],"possible":[183],"use":[185],"finds":[190],"while":[195],"reconstructing":[196],"only":[197],"finite":[199],"such":[202],"sequences.":[204],"In":[205],"particular,":[206],"if":[207],"contact-":[215],"free":[216],"strictly":[219],"positive":[220],"costs,":[221],"storage":[225],"computational":[227],"complexity":[228],"polynomial":[231],"length":[234],"labels.":[240]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}