{"id":"https://openalex.org/W4365420478","doi":"https://doi.org/10.1109/access.2023.3266661","title":"Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra","display_name":"Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4365420478","doi":"https://doi.org/10.1109/access.2023.3266661"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3266661","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3266661","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10100720.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10100720.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034798384","display_name":"Huailin Li","orcid":"https://orcid.org/0000-0003-3843-8510"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Huailin Li","raw_affiliation_strings":["Faculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087299219","display_name":"Qinsen Liu","orcid":"https://orcid.org/0000-0003-4194-1213"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qinsen Liu","raw_affiliation_strings":["Faculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100611709","display_name":"Mengnan Liu","orcid":"https://orcid.org/0000-0003-4437-3434"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mengnan Liu","raw_affiliation_strings":["State Key Laboratory of Power System of Tractor, Luoyang, China","State Key Laboratory of Power System of Tractor, Luoyang, P. R. China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Power System of Tractor, Luoyang, China","institution_ids":[]},{"raw_affiliation_string":"State Key Laboratory of Power System of Tractor, Luoyang, P. R. China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070913913","display_name":"Bangyong Sun","orcid":"https://orcid.org/0000-0002-0265-1785"},"institutions":[{"id":"https://openalex.org/I4210109184","display_name":"China Academy of Printing Technology","ror":"https://ror.org/01r10sk82","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210109184"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bangyong Sun","raw_affiliation_strings":["Faculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, China","Shaanxi Provincial Key Laboratory of Printing and Packaging Engineering, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, China","institution_ids":[]},{"raw_affiliation_string":"Shaanxi Provincial Key Laboratory of Printing and Packaging Engineering, Xi'an, China","institution_ids":["https://openalex.org/I4210109184"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077459099","display_name":"Bin Du","orcid":"https://orcid.org/0000-0003-1302-1348"},"institutions":[{"id":"https://openalex.org/I4210109184","display_name":"China Academy of Printing Technology","ror":"https://ror.org/01r10sk82","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210109184"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bin Du","raw_affiliation_strings":["Faculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, China","Shaanxi Provincial Key Laboratory of Printing and Packaging Engineering, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, China","institution_ids":[]},{"raw_affiliation_string":"Shaanxi Provincial Key Laboratory of Printing and Packaging Engineering, Xi'an, China","institution_ids":["https://openalex.org/I4210109184"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5034798384"],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.0002,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79133413,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"11","issue":null,"first_page":"42473","last_page":"42484"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9991999864578247,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9987000226974487,"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/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9918000102043152,"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.6155120134353638},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5718352794647217},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5351857542991638},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5306519269943237},{"id":"https://openalex.org/keywords/process-control","display_name":"Process control","score":0.4907713830471039},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.43330129981040955},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36089855432510376},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3403899073600769},{"id":"https://openalex.org/keywords/manufacturing-engineering","display_name":"Manufacturing engineering","score":0.335336834192276},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3149523138999939},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22740685939788818},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19440755248069763},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19089409708976746},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17815956473350525},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16505971550941467},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.09446904063224792}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6155120134353638},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5718352794647217},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5351857542991638},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5306519269943237},{"id":"https://openalex.org/C155386361","wikidata":"https://www.wikidata.org/wiki/Q1649571","display_name":"Process control","level":3,"score":0.4907713830471039},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.43330129981040955},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36089855432510376},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3403899073600769},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"score":0.335336834192276},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3149523138999939},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22740685939788818},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19440755248069763},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19089409708976746},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17815956473350525},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16505971550941467},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09446904063224792}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2023.3266661","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3266661","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10100720.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:0a0cab1fbd8341288ecac0576e3b69b5","is_oa":true,"landing_page_url":"https://doaj.org/article/0a0cab1fbd8341288ecac0576e3b69b5","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 11, Pp 42473-42484 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3266661","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3266661","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10100720.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4350466949","display_name":null,"funder_award_id":"62076199","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5167091242","display_name":null,"funder_award_id":"No. 1","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5848258319","display_name":null,"funder_award_id":"0 and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5939423041","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6045469906","display_name":null,"funder_award_id":"2022ZDLGY01-03","funder_id":"https://openalex.org/F4320336350","funder_display_name":"Key Research and Development Projects of Shaanxi Province"},{"id":"https://openalex.org/G658709234","display_name":null,"funder_award_id":"5112100","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7174558747","display_name":null,"funder_award_id":"Group","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7215605847","display_name":null,"funder_award_id":"2023-YBGY-087","funder_id":"https://openalex.org/F4320336350","funder_display_name":"Key Research and Development Projects of Shaanxi Province"},{"id":"https://openalex.org/G7726157001","display_name":null,"funder_award_id":"Grant No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7907793429","display_name":null,"funder_award_id":"51121001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8089390651","display_name":null,"funder_award_id":"SKT2022004","funder_id":"https://openalex.org/F4320326930","funder_display_name":"State Key Laboratory of Power Systems"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321760","display_name":"Henan University of Science and Technology","ror":"https://ror.org/05d80kz58"},{"id":"https://openalex.org/F4320322878","display_name":"Henan University","ror":"https://ror.org/003xyzq10"},{"id":"https://openalex.org/F4320326930","display_name":"State Key Laboratory of Power Systems","ror":null},{"id":"https://openalex.org/F4320336350","display_name":"Key Research and Development Projects of Shaanxi Province","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4365420478.pdf","grobid_xml":"https://content.openalex.org/works/W4365420478.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W1661210704","https://openalex.org/W1947051403","https://openalex.org/W1973402745","https://openalex.org/W1976775069","https://openalex.org/W2007536912","https://openalex.org/W2009249904","https://openalex.org/W2019766155","https://openalex.org/W2036965176","https://openalex.org/W2071929966","https://openalex.org/W2112320167","https://openalex.org/W2163296931","https://openalex.org/W2194869982","https://openalex.org/W2199389369","https://openalex.org/W2256532845","https://openalex.org/W2334592091","https://openalex.org/W2348943414","https://openalex.org/W2361171680","https://openalex.org/W2461046719","https://openalex.org/W2492869115","https://openalex.org/W2553653057","https://openalex.org/W2603841871","https://openalex.org/W2806742353","https://openalex.org/W2809054192","https://openalex.org/W2883164041","https://openalex.org/W2894979619","https://openalex.org/W2901336098","https://openalex.org/W2902724655","https://openalex.org/W2907604798","https://openalex.org/W2920555994","https://openalex.org/W2944114173","https://openalex.org/W2963048143","https://openalex.org/W2971946866","https://openalex.org/W3007418408","https://openalex.org/W3017132417","https://openalex.org/W3152706870","https://openalex.org/W3153095707","https://openalex.org/W3156138784","https://openalex.org/W3169870032","https://openalex.org/W3190606083","https://openalex.org/W3191399842","https://openalex.org/W3205399122","https://openalex.org/W4206445829","https://openalex.org/W4206581661","https://openalex.org/W4207077213","https://openalex.org/W4220928617","https://openalex.org/W4226238815","https://openalex.org/W4226320806","https://openalex.org/W4282921447","https://openalex.org/W4311562912","https://openalex.org/W6684172475"],"related_works":["https://openalex.org/W397120980","https://openalex.org/W1528537929","https://openalex.org/W3021060317","https://openalex.org/W2971368204","https://openalex.org/W2077122591","https://openalex.org/W1969909374","https://openalex.org/W2165750643","https://openalex.org/W2638730922","https://openalex.org/W3155069932","https://openalex.org/W2752220042"],"abstract_inverted_index":{"The":[0,76,125],"competition":[1],"for":[2,23,133],"shared":[3],"resources":[4],"in":[5,29],"printing":[6,47],"manufacturing":[7,48],"system":[8,49],"may":[9],"lead":[10],"to":[11,32,103,113],"deadlock,":[12],"which":[13],"could":[14],"cause":[15],"unnecessary":[16],"downtime":[17],"and":[18,88,120,138],"bring":[19],"vast":[20],"economic":[21],"loss":[22],"enterprises.":[24],"Supervisor":[25],"is":[26,70,98,136],"widely":[27],"studied":[28],"the":[30,34,39,43,86,110,122,134],"literature":[31],"solve":[33],"deadlock":[35,130],"control":[36,79,131],"problem.":[37],"With":[38],"objective":[40],"of":[41,45,66,82,90],"improving":[42],"robustness":[44],"reconfigurable":[46],"(RPMS),":[50],"this":[51],"paper":[52],"designs":[53],"a":[54,61],"new":[55,64],"Agent-Resource-":[56],"Workstation":[57],"(ARW)":[58],"model":[59],"with":[60],"supervisor.":[62],"A":[63],"reconfiguration":[65,80],"workstation":[67,93],"models":[68],"(NRWMs)":[69],"proposed":[71],"based":[72],"on":[73,118],"ARW":[74],"model.":[75],"supervisors":[77],"can":[78],"behavior":[81],"NRWMs":[83,119],"by":[84,100],"limiting":[85],"time":[87],"frequency":[89],"interaction":[91],"between":[92],"models.":[94],"Then,":[95],"formal":[96],"verification":[97],"performed":[99],"process":[101],"algebra":[102],"show":[104,127],"its":[105],"external":[106],"behavior.":[107],"We":[108],"use":[109],"mCRL2":[111],"tool":[112],"carry":[114],"out":[115],"simulation":[116],"experiments":[117],"provide":[121],"experimental":[123],"results.":[124],"results":[126],"that":[128],"robust":[129],"policy":[132],"RPMS":[135],"secure":[137],"effective.":[139]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}