{"id":"https://openalex.org/W2892652260","doi":"https://doi.org/10.15439/2018f114","title":"Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS)","display_name":"Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS)","publication_year":2018,"publication_date":"2018-09-26","ids":{"openalex":"https://openalex.org/W2892652260","doi":"https://doi.org/10.15439/2018f114","mag":"2892652260"},"language":"en","primary_location":{"id":"doi:10.15439/2018f114","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2018f114","pdf_url":"https://annals-csis.org/proceedings/2018/drp/pdf/114.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://annals-csis.org/proceedings/2018/drp/pdf/114.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066950874","display_name":"Wiktor B. Daszczuk","orcid":"https://orcid.org/0000-0001-7532-362X"},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I108403487","display_name":"Warsaw University of Technology","ror":"https://ror.org/00y0xnp53","country_code":"PL","type":"education","lineage":["https://openalex.org/I108403487"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Wiktor Daszczuk","raw_affiliation_strings":["Institute of Computer Science, Warsaw University of Technology, Nowowiejska Str. 15/19, 00-665 Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Warsaw University of Technology, Nowowiejska Str. 15/19, 00-665 Warsaw, Poland","institution_ids":["https://openalex.org/I108403487","https://openalex.org/I4210087266"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066950874"],"corresponding_institution_ids":["https://openalex.org/I108403487","https://openalex.org/I4210087266"],"apc_list":null,"apc_paid":null,"fwci":1.8103,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.85689046,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"15","issue":null,"first_page":"425","last_page":"435"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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":0.9998999834060669,"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.9980999827384949,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8088474273681641},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.7930723428726196},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7794325351715088},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.7250655889511108},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6272832155227661},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.583102285861969},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5436290502548218},{"id":"https://openalex.org/keywords/locality","display_name":"Locality","score":0.44432294368743896},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4205419719219208},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3886798918247223}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8088474273681641},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.7930723428726196},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7794325351715088},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.7250655889511108},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6272832155227661},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.583102285861969},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5436290502548218},{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.44432294368743896},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4205419719219208},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3886798918247223},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.15439/2018f114","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2018f114","pdf_url":"https://annals-csis.org/proceedings/2018/drp/pdf/114.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:doaj.org/article:53d42fc0a93e410c949f67eec1dce7a4","is_oa":true,"landing_page_url":"https://doaj.org/article/53d42fc0a93e410c949f67eec1dce7a4","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Annals of computer science and information systems, Vol 15, Pp 425-435 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.15439/2018f114","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2018f114","pdf_url":"https://annals-csis.org/proceedings/2018/drp/pdf/114.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2892652260.pdf","grobid_xml":"https://content.openalex.org/works/W2892652260.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W20899086","https://openalex.org/W52579566","https://openalex.org/W189948524","https://openalex.org/W332683046","https://openalex.org/W400067794","https://openalex.org/W1452568986","https://openalex.org/W1482434736","https://openalex.org/W1498432697","https://openalex.org/W1512185023","https://openalex.org/W1515121369","https://openalex.org/W1561430286","https://openalex.org/W1561892094","https://openalex.org/W1677924248","https://openalex.org/W1780887522","https://openalex.org/W1909741883","https://openalex.org/W1955827864","https://openalex.org/W1986332631","https://openalex.org/W2039784168","https://openalex.org/W2051539487","https://openalex.org/W2107989246","https://openalex.org/W2108678912","https://openalex.org/W2113355185","https://openalex.org/W2127030216","https://openalex.org/W2127612573","https://openalex.org/W2133010105","https://openalex.org/W2140872435","https://openalex.org/W2146738006","https://openalex.org/W2166334040","https://openalex.org/W2178536058","https://openalex.org/W2311033460","https://openalex.org/W2332567642","https://openalex.org/W2565764087","https://openalex.org/W2604990578","https://openalex.org/W2618483635","https://openalex.org/W2810936688","https://openalex.org/W2963341973","https://openalex.org/W2963983453","https://openalex.org/W3123595139","https://openalex.org/W4244695806","https://openalex.org/W4249538237","https://openalex.org/W4287901611","https://openalex.org/W4297798602","https://openalex.org/W6607546955"],"related_works":["https://openalex.org/W1904030840","https://openalex.org/W2775194234","https://openalex.org/W153779636","https://openalex.org/W2552031328","https://openalex.org/W2144623944","https://openalex.org/W2141563078","https://openalex.org/W1679355703","https://openalex.org/W3083862868","https://openalex.org/W2025827957","https://openalex.org/W2036655415"],"abstract_inverted_index":{"Integrated":[0],"Model":[1],"of":[2,13,20,30,35,53,64,76],"Distributed":[3],"Systems":[4],"(IMDS)":[5],"is":[6],"a":[7,73,81],"formalism":[8,24],"for":[9],"specification":[10],"and":[11,32,37],"verification":[12],"distributed":[14,54,59],"systems,":[15],"especially":[16],"following":[17],"IoT":[18],"(Internet":[19],"Things)":[21],"paradigm.":[22],"The":[23],"emphasizes":[25],"such":[26,51],"features":[27,52],"as":[28,56],"asynchrony":[29],"actions":[31],"communication,":[33],"locality":[34],"decisions,":[36],"autonomy":[38],"in":[39,72],"executing":[40],"actions.":[41],"In":[42],"conjunction":[43],"with":[44],"model":[45,65],"checking,":[46],"IMDS":[47],"allows":[48,67],"to":[49,68],"analyze":[50],"systems":[55],"deadlocks":[57],"or":[58],"termination.":[60],"However,":[61],"the":[62,77],"nature":[63],"checking":[66],"find":[69],"one":[70],"deadlock":[71],"single":[74],"run":[75],"verifier,":[78],"which":[79],"produces":[80],"counterexample.":[82]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}