{"id":"https://openalex.org/W3134657253","doi":"https://doi.org/10.3233/fi-2021-2087","title":"Inferring Unobserved Events in Systems With Shared Resources and Queues","display_name":"Inferring Unobserved Events in Systems With Shared Resources and Queues","publication_year":2021,"publication_date":"2021-12-23","ids":{"openalex":"https://openalex.org/W3134657253","doi":"https://doi.org/10.3233/fi-2021-2087","mag":"3134657253"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2021-2087","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2021-2087","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://fi.episciences.org/8824/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057249916","display_name":"Dirk Fahland","orcid":"https://orcid.org/0000-0002-1993-9363"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Dirk Fahland","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, the Netherlands. d.fahland@tue.nl, v.denisov@tue.nl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, the Netherlands. d.fahland@tue.nl, v.denisov@tue.nl","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039562894","display_name":"Vadim Denisov","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Vadim Denisov","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, the Netherlands. d.fahland@tue.nl, v.denisov@tue.nl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, the Netherlands. d.fahland@tue.nl, v.denisov@tue.nl","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069762894","display_name":"Wil M. P. van der Aalst","orcid":"https://orcid.org/0000-0002-0955-6940"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wil. M.P. van der Aalst","raw_affiliation_strings":["Process and Data Science (Informatik 9), RWTH Aachen University, Aachen, Germany. wvdaalst@pads.rwth-aachen.de"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Process and Data Science (Informatik 9), RWTH Aachen University, Aachen, Germany. wvdaalst@pads.rwth-aachen.de","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5057249916"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":1.7488,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.86242656,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"183","issue":"3-4","first_page":"203","last_page":"242"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9995999932289124,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"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/timestamp","display_name":"Timestamp","score":0.839435338973999},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7917952537536621},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6306797862052917},{"id":"https://openalex.org/keywords/queue","display_name":"Queue","score":0.6105983853340149},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5980526804924011},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.528342604637146},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4921816885471344},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43739163875579834},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4335228502750397},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.43213406205177307},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4255028963088989},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24825537204742432},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.15585193037986755},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11883282661437988},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09378314018249512}],"concepts":[{"id":"https://openalex.org/C113954288","wikidata":"https://www.wikidata.org/wiki/Q186885","display_name":"Timestamp","level":2,"score":0.839435338973999},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7917952537536621},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6306797862052917},{"id":"https://openalex.org/C160403385","wikidata":"https://www.wikidata.org/wiki/Q220543","display_name":"Queue","level":2,"score":0.6105983853340149},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5980526804924011},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.528342604637146},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4921816885471344},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43739163875579834},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4335228502750397},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.43213406205177307},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4255028963088989},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24825537204742432},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.15585193037986755},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11883282661437988},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09378314018249512},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.3233/fi-2021-2087","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2021-2087","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"doi:10.46298/.7232","is_oa":true,"landing_page_url":"https://doi.org/10.46298/.7232","pdf_url":"https://fi.episciences.org/8824/pdf","source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire/e7e12d35-6ee0-4518-a11c-20b349a04b52","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/e7e12d35-6ee0-4518-a11c-20b349a04b52","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fahland, D, Denisov, V & van der Aalst, W M P 2021, 'Inferring Unobserved Events in Systems With Shared Resources and Queues', Fundamenta Informaticae, vol. 183, no. 3-4, pp. 203-242. https://doi.org/10.3233/FI-2021-2087","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:publications/e7e12d35-6ee0-4518-a11c-20b349a04b52","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85124885514&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fahland, D, Denisov, V & van der Aalst, W M P 2021, 'Inferring Unobserved Events in Systems With Shared Resources and Queues', Fundamenta Informaticae, vol. 183, no. 3-4, pp. 203-242. https://doi.org/10.3233/FI-2021-2087","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:2103.00167","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.00167","pdf_url":"https://arxiv.org/pdf/2103.00167","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:publications.rwth-aachen.de:841134","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/841134","pdf_url":null,"source":{"id":"https://openalex.org/S4306401033","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fundamenta informaticae 183(3/4), 203-242 (2022). doi:10.3233/FI-2021-2087 special issue: \"Application and Theory of Petri Nets and Concurrency 2020\"","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/e7e12d35-6ee0-4518-a11c-20b349a04b52","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/e7e12d35-6ee0-4518-a11c-20b349a04b52","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fundamenta Informaticae, 183(3-4), 203 - 242. IOS Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.46298/.7232","is_oa":true,"landing_page_url":"https://doi.org/10.46298/.7232","pdf_url":"https://fi.episciences.org/8824/pdf","source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3134657253.pdf","grobid_xml":"https://content.openalex.org/works/W3134657253.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W31225881","https://openalex.org/W1963547452","https://openalex.org/W2039698234","https://openalex.org/W2070137128","https://openalex.org/W2091277021","https://openalex.org/W2098250644","https://openalex.org/W2111207692","https://openalex.org/W2119338125","https://openalex.org/W2122094161","https://openalex.org/W2152870994","https://openalex.org/W2191015976","https://openalex.org/W2192659080","https://openalex.org/W2225615039","https://openalex.org/W2485296206","https://openalex.org/W2524961085","https://openalex.org/W2526226593","https://openalex.org/W2767387808","https://openalex.org/W2795773994","https://openalex.org/W2886688976","https://openalex.org/W2899730448","https://openalex.org/W2904041860","https://openalex.org/W2912763210","https://openalex.org/W2942734069","https://openalex.org/W2953350485","https://openalex.org/W2964729668","https://openalex.org/W2971437256","https://openalex.org/W2983714369","https://openalex.org/W2990205779","https://openalex.org/W3020919941","https://openalex.org/W3037785086","https://openalex.org/W3083753413","https://openalex.org/W3091024008","https://openalex.org/W3101369267","https://openalex.org/W3104555757","https://openalex.org/W3169710019","https://openalex.org/W4301808069"],"related_works":["https://openalex.org/W2060561905","https://openalex.org/W1417711376","https://openalex.org/W2032260263","https://openalex.org/W1986883493","https://openalex.org/W2469862403","https://openalex.org/W2166378262","https://openalex.org/W2035891203","https://openalex.org/W4379524643","https://openalex.org/W2011027677","https://openalex.org/W2367807705"],"abstract_inverted_index":{"To":[0,69],"identify":[1],"the":[2,41,73,110,116,166,189,201,214,228],"causes":[3],"of":[4,55,64,77,89,135,155,168,195],"performance":[5,76],"problems":[6],"or":[7],"to":[8,15,45,52,84,200,233],"predict":[9],"process":[10,127],"behavior,":[11],"it":[12],"is":[13,23,216,238],"essential":[14],"have":[16,96,242],"correct":[17],"and":[18,71,75,114,126,140,161,177,197,203,247,253],"complete":[19],"event":[20,124,138,173,255],"data.":[21],"This":[22],"particularly":[24],"important":[25],"for":[26,40,87,145,206,218],"distributed":[27],"systems":[28,58,221,225],"with":[29,79,158,184],"shared":[30,80,159],"resources,":[31,81],"e.g.,":[32],"one":[33],"case":[34,38,93],"can":[35,230],"block":[36],"another":[37],"competing":[39],"same":[42],"machine,":[43],"leading":[44],"inter-case":[46],"dependencies":[47],"in":[48,91,106,109,123,226,245],"performance.":[49],"However,":[50],"due":[51],"a":[53,62,92,131,136,141,152,185,210],"variety":[54],"reasons,":[56],"real-life":[57,254],"often":[59],"record":[60],"only":[61],"subset":[63],"all":[65],"events":[66,90,105,176],"taking":[67],"place.":[68],"understand":[70],"analyze":[72],"behavior":[74],"processes":[78,157],"we":[82],"aim":[83],"reconstruct":[85],"bounds":[86,205],"timestamps":[88,179,208],"that":[94,180],"must":[95],"happened":[97],"but":[98],"were":[99,248],"not":[100],"recorded":[101],"by":[102,118,191],"inference":[103],"over":[104],"other":[107,234],"cases":[108],"system.":[111],"We":[112,129,148,163,187],"formulate":[113],"solve":[115,188],"problem":[117,167,190,215],"systematically":[119],"introducing":[120],"multi-entity":[121,137,146,156],"concepts":[122],"logs":[125],"models.":[128],"introduce":[130],"partial-order":[132],"based":[133],"model":[134,144],"log":[139,174],"corresponding":[142],"compositional":[143],"processes.":[147],"define":[149],"PQR-systems":[150],"as":[151],"special":[153],"class":[154],"resources":[160,196],"queues.":[162],"then":[164],"study":[165],"inferring":[169],"from":[170],"an":[171],"incomplete":[172],"unobserved":[175,193],"their":[178,207],"are":[181],"globally":[182],"consistent":[183],"PQR-system.":[186],"reconstructing":[192],"traces":[194],"queues":[198],"according":[199],"PQR-model":[202],"derive":[204],"using":[209,250],"linear":[211],"program.":[212],"While":[213],"illustrated":[217],"material":[219],"handling":[220,224],"like":[222],"baggage":[223],"airports,":[227],"approach":[229],"be":[231],"applied":[232],"settings":[235],"where":[236],"recording":[237],"incomplete.":[239],"The":[240],"ideas":[241],"been":[243],"implemented":[244],"ProM":[246],"evaluated":[249],"both":[251],"synthetic":[252],"logs.":[256],"Comment:":[257],"Final":[258],"formatted":[259],"version":[260],"at":[261],"Fundamenta":[262],"Informatica":[263]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}