{"id":"https://openalex.org/W3216194130","doi":"https://doi.org/10.31577/cai_2021_3_648","title":"Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets -- Part 1: Invariants, Siphons and Traps in Deadlock Avoidance","display_name":"Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets -- Part 1: Invariants, Siphons and Traps in Deadlock Avoidance","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3216194130","doi":"https://doi.org/10.31577/cai_2021_3_648","mag":"3216194130"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.31577/cai_2021_3_648","pdf_url":"http://www.cai.sk/ojs/index.php/cai/article/download/2021_3_648/1099","source":{"id":"https://openalex.org/S4210200093","display_name":"Computing and Informatics","issn_l":"1335-9150","issn":["1335-9150","2585-8807"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"http://www.cai.sk/ojs/index.php/cai/article/download/2021_3_648/1099","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113487413","display_name":"Franti\u0161ek \u010capkovi\u010d","orcid":null},"institutions":[{"id":"https://openalex.org/I207624831","display_name":"Slovak Academy of Sciences","ror":"https://ror.org/03h7qq074","country_code":"SK","type":"government","lineage":["https://openalex.org/I207624831"]},{"id":"https://openalex.org/I4210152232","display_name":"Institute of Informatics of the Slovak Academy of Sciences","ror":"https://ror.org/04jgqpc26","country_code":"SK","type":"facility","lineage":["https://openalex.org/I207624831","https://openalex.org/I4210152232"]}],"countries":["SK"],"is_corresponding":true,"raw_author_name":"Franti\u0161ek \u010capkovi\u010d","raw_affiliation_strings":["Institute of Informatics, Slovak Academy of Sciences, Bratislava, Slovakia"],"affiliations":[{"raw_affiliation_string":"Institute of Informatics, Slovak Academy of Sciences, Bratislava, Slovakia","institution_ids":["https://openalex.org/I207624831","https://openalex.org/I4210152232"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5113487413"],"corresponding_institution_ids":["https://openalex.org/I207624831","https://openalex.org/I4210152232"],"apc_list":null,"apc_paid":null,"fwci":0.397,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":3,"citation_normalized_percentile":{"value":0.769905,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":72,"max":76},"biblio":{"volume":"40","issue":"3","first_page":"648","last_page":"689"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995,"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.9995,"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.9943,"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"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9905,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.5894831},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.56596863},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.52530175}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9519011},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7908483},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.64752686},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.60942924},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5894831},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5792863},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.56596863},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.52530175},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4951991},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4535242},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.4315318},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.12171623},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07756239},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.05002144},{"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":[{"is_oa":true,"landing_page_url":"https://doi.org/10.31577/cai_2021_3_648","pdf_url":"http://www.cai.sk/ojs/index.php/cai/article/download/2021_3_648/1099","source":{"id":"https://openalex.org/S4210200093","display_name":"Computing and Informatics","issn_l":"1335-9150","issn":["1335-9150","2585-8807"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.31577/cai_2021_3_648","pdf_url":"http://www.cai.sk/ojs/index.php/cai/article/download/2021_3_648/1099","source":{"id":"https://openalex.org/S4210200093","display_name":"Computing and Informatics","issn_l":"1335-9150","issn":["1335-9150","2585-8807"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.53,"id":"https://metadata.un.org/sdg/8"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":89,"referenced_works":["https://openalex.org/W141673210","https://openalex.org/W1479723887","https://openalex.org/W1483186571","https://openalex.org/W1486053325","https://openalex.org/W1503097829","https://openalex.org/W1546456762","https://openalex.org/W1566199872","https://openalex.org/W1576317809","https://openalex.org/W1582455255","https://openalex.org/W1624233634","https://openalex.org/W1789713128","https://openalex.org/W1866370004","https://openalex.org/W1915570783","https://openalex.org/W1925800244","https://openalex.org/W1968033185","https://openalex.org/W1971995298","https://openalex.org/W1976148724","https://openalex.org/W1976634747","https://openalex.org/W1986183393","https://openalex.org/W1996109622","https://openalex.org/W2003872149","https://openalex.org/W2004166370","https://openalex.org/W2005217875","https://openalex.org/W2005581605","https://openalex.org/W2006107704","https://openalex.org/W2010513693","https://openalex.org/W2019766155","https://openalex.org/W2021530432","https://openalex.org/W2036655415","https://openalex.org/W2037933704","https://openalex.org/W2038408631","https://openalex.org/W2039148441","https://openalex.org/W2039542278","https://openalex.org/W2044037008","https://openalex.org/W2044481776","https://openalex.org/W2051232944","https://openalex.org/W2055799414","https://openalex.org/W2066987852","https://openalex.org/W2071210907","https://openalex.org/W2086256198","https://openalex.org/W2086689069","https://openalex.org/W2097305928","https://openalex.org/W2099550549","https://openalex.org/W2099584921","https://openalex.org/W2101410943","https://openalex.org/W2106247749","https://openalex.org/W2108569958","https://openalex.org/W2108678912","https://openalex.org/W2113127049","https://openalex.org/W2113418311","https://openalex.org/W2115404736","https://openalex.org/W2119682732","https://openalex.org/W2123621586","https://openalex.org/W2127349283","https://openalex.org/W2140872435","https://openalex.org/W2146738006","https://openalex.org/W2149110313","https://openalex.org/W2150974097","https://openalex.org/W2151008975","https://openalex.org/W2152008376","https://openalex.org/W2153280083","https://openalex.org/W2161788716","https://openalex.org/W2286243663","https://openalex.org/W2311033460","https://openalex.org/W2332567642","https://openalex.org/W2339327598","https://openalex.org/W2343734947","https://openalex.org/W2437373627","https://openalex.org/W2495146466","https://openalex.org/W2503470518","https://openalex.org/W2528134256","https://openalex.org/W2530840884","https://openalex.org/W2605051396","https://openalex.org/W2612806555","https://openalex.org/W2783497037","https://openalex.org/W2799338570","https://openalex.org/W2901841247","https://openalex.org/W2914660950","https://openalex.org/W2924990203","https://openalex.org/W2960140099","https://openalex.org/W3004468380","https://openalex.org/W3008339000","https://openalex.org/W3020061542","https://openalex.org/W4244791927","https://openalex.org/W4249538237","https://openalex.org/W4255478349","https://openalex.org/W604233734","https://openalex.org/W627911362","https://openalex.org/W865203889"],"related_works":["https://openalex.org/W3045479473","https://openalex.org/W3043763760","https://openalex.org/W2384405520","https://openalex.org/W2371623873","https://openalex.org/W2371232373","https://openalex.org/W2174390203","https://openalex.org/W2153540690","https://openalex.org/W2152836029","https://openalex.org/W2151082683","https://openalex.org/W2019766155"],"abstract_inverted_index":{"Solving":[0],"the":[1,66,73,81,89,96,102,107,110,113,126,128,132,136,154,161,164,182,186,200,216,223],"deadlocks":[2,52],"avoidance":[3],"problem":[4,187],"in":[5,10,19,53,118],"Resource":[6],"Allocation":[7],"Systems":[8,12,22,27],"(RAS)":[9],"Discrete-Event":[11],"(DES)":[13],"is":[14,68,84,197],"a":[15],"rife":[16],"problem,":[17],"especially":[18],"Flexible":[20],"Manufacturing":[21,26],"(FMS),":[23],"alias":[24],"Automated":[25],"(AMS).":[28],"Petri":[29],"Nets":[30],"(PN)":[31],"are":[32,44,59],"an":[33],"effectual":[34],"tool":[35],"often":[36],"used":[37],"at":[38],"this":[39,195],"procedure.":[40],"In":[41],"principle,":[42],"there":[43],"two":[45],"basic":[46],"approaches":[47,67,149],"how":[48],"to":[49,100,120],"deal":[50],"with":[51],"RAS":[54,159],"based":[55,75,91],"on":[56,76,92,153,208],"PN.":[57],"They":[58],"listed":[60],"and":[61,145,160,172,206],"illustrated":[62,207],"here.":[63],"First":[64],"of":[65,72,78,88,109,112,116,135,142,158,163,166,185,188,194,215,219],"realized":[69,85],"by":[70,86,140],"means":[71,87,141],"supervisor":[74,90],"P-invariants":[77],"PN,":[79],"while":[80],"second":[82,129],"one":[83],"PN":[93,114,137,156],"siphons.":[94],"While":[95],"first":[97],"approach":[98,130],"needs":[99,131],"know":[101],"reachability":[103],"graph/tree":[104],"(RG/RT)":[105],"expressing":[106],"causality":[108],"development":[111],"model":[115,138,157],"RAS,":[117],"order":[119],"find":[121],"(after":[122],"its":[123],"thorough":[124,133],"analysis)":[125],"deadlocks,":[127],"analysis":[134,184],"structure":[139],"finding":[143],"siphons":[144],"traps.":[146],"Next,":[147],"both":[148],"will":[150,169,178,203,229],"be":[151,170,179,204,230],"applied":[152],"same":[155],"effectiveness":[162],"achievement":[165],"their":[167],"results":[168],"compared":[171],"evaluated.":[173],"Several":[174],"simple":[175],"illustrative":[176],"examples":[177],"introduced.":[180],"For":[181],"in-depth":[183],"deadlock":[189],"avoiding,":[190],"next":[191],"Part":[192,227],"2":[193],"paper":[196],"prepared,":[198],"where":[199],"newest":[201],"research":[202],"introduced":[205],"more":[209],"complicated":[210],"examples.":[211],"If":[212],"necessary":[213],"(because":[214],"limited":[217],"length":[218],"particular":[220],"papers),":[221],"also":[222],"third":[224],"part":[225],"\u2013":[226],"3,":[228],"prepared.":[231]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3216194130","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2024-12-17T15:42:30.557854","created_date":"2021-12-06"}