{"id":"https://openalex.org/W2860545744","doi":"https://doi.org/10.3233/fi-2018-1707","title":"A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*","display_name":"A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*","publication_year":2018,"publication_date":"2018-07-06","ids":{"openalex":"https://openalex.org/W2860545744","doi":"https://doi.org/10.3233/fi-2018-1707","mag":"2860545744"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2018-1707","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1707","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":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://people.cs.aau.dk/~srba/files/DEFJJJKLNOPS:FI:18.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103728564","display_name":"Andreas Engelbredt Dalsgaard","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Andreas E. Dalsgaard","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Det Tekniske Fakultet for IT og Design"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Det Tekniske Fakultet for IT og Design","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069180187","display_name":"S\u00f8ren Enevoldsen","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]},{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]}],"countries":["DK","US"],"is_corresponding":false,"raw_author_name":"S\u00f8ren Enevoldsen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Distributed, Embedded and Intelligent Systems"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Distributed, Embedded and Intelligent Systems","institution_ids":["https://openalex.org/I4210145666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054258537","display_name":"Peter Fogh","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Peter Fogh","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Institut for Datalogi"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Institut for Datalogi","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026313149","display_name":"Lasse Storgaard Jensen","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Lasse S. Jensen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Institut for Datalogi"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Institut for Datalogi","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028307375","display_name":"Peter Gj\u00f8l Jensen","orcid":"https://orcid.org/0000-0002-9320-9991"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Peter G. Jensen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Institut for Datalogi"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Institut for Datalogi","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022803207","display_name":"Tobias Skovgaard Jepsen","orcid":"https://orcid.org/0000-0002-9233-781X"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Tobias S. Jepsen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Det Tekniske Fakultet for IT og Design"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Det Tekniske Fakultet for IT og Design","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086138428","display_name":"Isabella Kaufmann","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Isabella Kaufmann","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Det Tekniske Fakultet for IT og Design"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Det Tekniske Fakultet for IT og Design","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]},{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]}],"countries":["DK","US"],"is_corresponding":false,"raw_author_name":"Kim G. Larsen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Distributed, Embedded and Intelligent Systems"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Distributed, Embedded and Intelligent Systems","institution_ids":["https://openalex.org/I4210145666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055363991","display_name":"S\u00f8ren M. Nielsen","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"S\u00f8ren M. Nielsen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Institut for Datalogi"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Institut for Datalogi","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043073096","display_name":"Mads Chr. Olesen","orcid":"https://orcid.org/0000-0002-3733-0500"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Mads Chr. Olesen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Distributed Systems and Semantics"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Distributed Systems and Semantics","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071042168","display_name":"Samuel Pastva","orcid":"https://orcid.org/0000-0003-1993-0331"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Samuel Pastva","raw_affiliation_strings":["Faculty of Informatics, Masaryk University, Czech Republic","Masaryk University"],"affiliations":[{"raw_affiliation_string":"Faculty of Informatics, Masaryk University, Czech Republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Masaryk University","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009728620","display_name":"Ji\u0159\u0131\u0301 Srba","orcid":"https://orcid.org/0000-0001-5551-6547"},"institutions":[{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]},{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK","US"],"is_corresponding":false,"raw_author_name":"Ji\u0159\u00ed Srba","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark. srba@cs.aau.dk","Distributed, Embedded and Intelligent Systems"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark. srba@cs.aau.dk","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Distributed, Embedded and Intelligent Systems","institution_ids":["https://openalex.org/I4210145666"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":12,"corresponding_author_ids":["https://openalex.org/A5103728564"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":1.8174,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.8704993,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"161","issue":"4","first_page":"351","last_page":"381"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/dependency-graph","display_name":"Dependency graph","score":0.8046194911003113},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6249545216560364},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.5902347564697266},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5189847350120544},{"id":"https://openalex.org/keywords/graph-product","display_name":"Graph product","score":0.509671688079834},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4928033649921417},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4184768795967102},{"id":"https://openalex.org/keywords/cograph","display_name":"Cograph","score":0.41129744052886963},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40928512811660767},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3447200059890747},{"id":"https://openalex.org/keywords/pathwidth","display_name":"Pathwidth","score":0.3146927058696747},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25742584466934204},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.25349539518356323},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.17037102580070496},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0897914469242096}],"concepts":[{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.8046194911003113},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6249545216560364},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.5902347564697266},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5189847350120544},{"id":"https://openalex.org/C68103157","wikidata":"https://www.wikidata.org/wiki/Q569347","display_name":"Graph product","level":5,"score":0.509671688079834},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4928033649921417},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4184768795967102},{"id":"https://openalex.org/C59824394","wikidata":"https://www.wikidata.org/wiki/Q5141281","display_name":"Cograph","level":5,"score":0.41129744052886963},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40928512811660767},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3447200059890747},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.3146927058696747},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25742584466934204},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25349539518356323},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.17037102580070496},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0897914469242096}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/fi-2018-1707","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1707","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":"pmh:oai:pure.atira.dk:publications/8e68d5ba-2b7a-4d7e-86a2-cae272df4147","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/8e68d5ba-2b7a-4d7e-86a2-cae272df4147","pdf_url":"http://people.cs.aau.dk/~srba/files/DEFJJJKLNOPS:FI:18.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dalsgaard , A E , Enevoldsen , S , Fogh , P , Jensen , L S , Jensen , P G , Jepsen , T S , Kaufmann , I , Larsen , K G , Nielsen , S M , Olesen , M C , Pastva , S & Srba , J 2018 , ' A Distributed Fixed-Point Algorithm for Extended Dependency Graphs ' , Fundamenta Informaticae , vol. 161 , no. 4 , pp. 351-381 . https://doi.org/10.3233/FI-2016-0000","raw_type":"article"},{"id":"mag:2860545744","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/8e68d5ba-2b7a-4d7e-86a2-cae272df4147","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/8e68d5ba-2b7a-4d7e-86a2-cae272df4147","pdf_url":"http://people.cs.aau.dk/~srba/files/DEFJJJKLNOPS:FI:18.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dalsgaard , A E , Enevoldsen , S , Fogh , P , Jensen , L S , Jensen , P G , Jepsen , T S , Kaufmann , I , Larsen , K G , Nielsen , S M , Olesen , M C , Pastva , S & Srba , J 2018 , ' A Distributed Fixed-Point Algorithm for Extended Dependency Graphs ' , Fundamenta Informaticae , vol. 161 , no. 4 , pp. 351-381 . https://doi.org/10.3233/FI-2016-0000","raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2860545744.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2978914747","https://openalex.org/W2139101939","https://openalex.org/W2117039440","https://openalex.org/W2046213250","https://openalex.org/W2530426793","https://openalex.org/W2296442979","https://openalex.org/W3204434414","https://openalex.org/W200699361","https://openalex.org/W2740378375","https://openalex.org/W2528810089","https://openalex.org/W2292799201","https://openalex.org/W1977670989","https://openalex.org/W160689082","https://openalex.org/W3006370652","https://openalex.org/W2595322843","https://openalex.org/W2747183910","https://openalex.org/W2968515041","https://openalex.org/W2395910292","https://openalex.org/W2807438704","https://openalex.org/W147626020"],"abstract_inverted_index":{"Equivalence":[0],"and":[1,126,141],"model":[2,35],"checking":[3],"problems":[4],"can":[5],"be":[6],"encoded":[7],"into":[8],"computing":[9,76],"fixed":[10,77],"points":[11,78],"on":[12,79,134],"dependency":[13,37,81],"graphs.":[14,82],"Dependency":[15],"graphs":[16,38,51],"represent":[17],"causal":[18],"dependencies":[19],"among":[20],"the":[21,24,34,55,60,89,96,103,107,117,128,135,145],"nodes":[22],"of":[23,28,36,106,116,130,137],"graph":[25],"by":[26],"means":[27],"hyper-edges.":[29],"We":[30],"suggest":[31],"to":[32,91,102],"extend":[33],"with":[39,88],"so-called":[40],"negation":[41],"edges":[42],"in":[43,93,100,121],"order":[44],"t":[45],"o":[46],"increase":[47],"their":[48],"applicability.":[49],"The":[50],"(as":[52],"well":[53],"as":[54],"verification":[56],"problems)":[57],"suffer":[58],"from":[59,144],"state":[61],"space":[62],"explosion":[63],"problem.":[64],"To":[65],"combat":[66],"this":[67],"issue,":[68],"we":[69,111],"design":[70,112],"an":[71],"on-the-fly":[72],"algorithm":[73,84],"for":[74],"efficiently":[75],"extended":[80],"Our":[83],"supplements":[85],"previous":[86],"approaches":[87],"possibility":[90],"back-propagate,":[92],"certain":[94],"scenarios,":[95],"domain":[97],"value":[98,108],"0,":[99],"addition":[101],"standard":[104],"back-propagation":[105],"1.":[109],"Finally,":[110],"a":[113],"distributed":[114],"version":[115],"algorithm,":[118],"implement":[119],"it":[120],"our":[122,131],"open-source":[123],"tool":[124],"TAPAAL,":[125],"demonstrate":[127],"efficiency":[129],"general":[132],"approach":[133],"benchmark":[136],"Petri":[138],"net":[139],"models":[140],"CTL":[142],"queries":[143],"annual":[146],"Model":[147],"Checking":[148],"Contest.":[149]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}