{"id":"https://openalex.org/W2003616898","doi":"https://doi.org/10.1007/s10845-012-0647-4","title":"Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons","display_name":"Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons","publication_year":2012,"publication_date":"2012-05-05","ids":{"openalex":"https://openalex.org/W2003616898","doi":"https://doi.org/10.1007/s10845-012-0647-4","mag":"2003616898"},"language":"en","primary_location":{"id":"doi:10.1007/s10845-012-0647-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10845-012-0647-4","pdf_url":null,"source":{"id":"https://openalex.org/S161464388","display_name":"Journal of Intelligent Manufacturing","issn_l":"0956-5515","issn":["0956-5515","1572-8145"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent Manufacturing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037266098","display_name":"Shao Yong Li","orcid":null},"institutions":[{"id":"https://openalex.org/I22716506","display_name":"Lanzhou University of Technology","ror":"https://ror.org/03panb555","country_code":"CN","type":"education","lineage":["https://openalex.org/I22716506"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shao Yong Li","raw_affiliation_strings":["School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","institution_ids":["https://openalex.org/I22716506"]},{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#","institution_ids":["https://openalex.org/I22716506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057946237","display_name":"Ai Min An","orcid":null},"institutions":[{"id":"https://openalex.org/I22716506","display_name":"Lanzhou University of Technology","ror":"https://ror.org/03panb555","country_code":"CN","type":"education","lineage":["https://openalex.org/I22716506"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ai Min An","raw_affiliation_strings":["College of Electrical and Information Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","College of Electrical and Information Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#"],"affiliations":[{"raw_affiliation_string":"College of Electrical and Information Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","institution_ids":["https://openalex.org/I22716506"]},{"raw_affiliation_string":"College of Electrical and Information Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#","institution_ids":["https://openalex.org/I22716506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100347101","display_name":"Ying Wang","orcid":"https://orcid.org/0000-0002-4957-2515"},"institutions":[{"id":"https://openalex.org/I22716506","display_name":"Lanzhou University of Technology","ror":"https://ror.org/03panb555","country_code":"CN","type":"education","lineage":["https://openalex.org/I22716506"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying Wang","raw_affiliation_strings":["School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","institution_ids":["https://openalex.org/I22716506"]},{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#","institution_ids":["https://openalex.org/I22716506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103622436","display_name":"Gang Wang","orcid":"https://orcid.org/0000-0002-0486-6616"},"institutions":[{"id":"https://openalex.org/I22716506","display_name":"Lanzhou University of Technology","ror":"https://ror.org/03panb555","country_code":"CN","type":"education","lineage":["https://openalex.org/I22716506"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Wang","raw_affiliation_strings":["School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","institution_ids":["https://openalex.org/I22716506"]},{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#","institution_ids":["https://openalex.org/I22716506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109107349","display_name":"Cai Qin Hou","orcid":null},"institutions":[{"id":"https://openalex.org/I22716506","display_name":"Lanzhou University of Technology","ror":"https://ror.org/03panb555","country_code":"CN","type":"education","lineage":["https://openalex.org/I22716506"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cai Qin Hou","raw_affiliation_strings":["School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","institution_ids":["https://openalex.org/I22716506"]},{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#","institution_ids":["https://openalex.org/I22716506"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103788449","display_name":"Ying Cai","orcid":"https://orcid.org/0000-0001-5666-674X"},"institutions":[{"id":"https://openalex.org/I22716506","display_name":"Lanzhou University of Technology","ror":"https://ror.org/03panb555","country_code":"CN","type":"education","lineage":["https://openalex.org/I22716506"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying Cai","raw_affiliation_strings":["School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People\u2019s Republic of China","institution_ids":["https://openalex.org/I22716506"]},{"raw_affiliation_string":"School of Civil Engineering, Lanzhou University of Technology, Lanzhou, People's Republic of China 730050#TAB#","institution_ids":["https://openalex.org/I22716506"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5037266098"],"corresponding_institution_ids":["https://openalex.org/I22716506"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":3.8272,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.93345143,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"24","issue":"6","first_page":"1157","last_page":"1173"},"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9973999857902527,"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.9897000193595886,"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/liveness","display_name":"Liveness","score":0.9383434057235718},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9140170812606812},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.8960232734680176},{"id":"https://openalex.org/keywords/siphon","display_name":"Siphon (mollusc)","score":0.8434946537017822},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7967254519462585},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.6988909244537354},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5681942701339722},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5343261361122131},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.49810028076171875},{"id":"https://openalex.org/keywords/flexible-manufacturing-system","display_name":"Flexible manufacturing system","score":0.44931381940841675},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4398415684700012},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.42986592650413513},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4176808297634125},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.34289443492889404},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23443815112113953},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18843480944633484},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12625998258590698},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1171761155128479}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9383434057235718},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9140170812606812},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.8960232734680176},{"id":"https://openalex.org/C163629137","wikidata":"https://www.wikidata.org/wiki/Q1276903","display_name":"Siphon (mollusc)","level":2,"score":0.8434946537017822},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7967254519462585},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.6988909244537354},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5681942701339722},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5343261361122131},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.49810028076171875},{"id":"https://openalex.org/C2777869240","wikidata":"https://www.wikidata.org/wiki/Q1424398","display_name":"Flexible manufacturing system","level":3,"score":0.44931381940841675},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4398415684700012},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.42986592650413513},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4176808297634125},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.34289443492889404},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23443815112113953},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18843480944633484},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12625998258590698},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1171761155128479},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10845-012-0647-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10845-012-0647-4","pdf_url":null,"source":{"id":"https://openalex.org/S161464388","display_name":"Journal of Intelligent Manufacturing","issn_l":"0956-5515","issn":["0956-5515","1572-8145"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent Manufacturing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W61353850","https://openalex.org/W614929447","https://openalex.org/W865203889","https://openalex.org/W1486954009","https://openalex.org/W1490309583","https://openalex.org/W1490850339","https://openalex.org/W1497261478","https://openalex.org/W1498784696","https://openalex.org/W1535416861","https://openalex.org/W1546456762","https://openalex.org/W1603397102","https://openalex.org/W1624233634","https://openalex.org/W1929740280","https://openalex.org/W1965505531","https://openalex.org/W1978787137","https://openalex.org/W1986055061","https://openalex.org/W2001671625","https://openalex.org/W2011498342","https://openalex.org/W2015944652","https://openalex.org/W2027988003","https://openalex.org/W2030600879","https://openalex.org/W2031072026","https://openalex.org/W2040369546","https://openalex.org/W2041795078","https://openalex.org/W2044660684","https://openalex.org/W2053369452","https://openalex.org/W2068296765","https://openalex.org/W2076749410","https://openalex.org/W2077675694","https://openalex.org/W2085101251","https://openalex.org/W2089276145","https://openalex.org/W2098899007","https://openalex.org/W2099550549","https://openalex.org/W2099584921","https://openalex.org/W2103198692","https://openalex.org/W2108678912","https://openalex.org/W2109787297","https://openalex.org/W2111126894","https://openalex.org/W2122471000","https://openalex.org/W2126163520","https://openalex.org/W2127349283","https://openalex.org/W2136749565","https://openalex.org/W2140872435","https://openalex.org/W2141563078","https://openalex.org/W2145493994","https://openalex.org/W2146738006","https://openalex.org/W2147281200","https://openalex.org/W2152371928","https://openalex.org/W2155642675","https://openalex.org/W2156229246","https://openalex.org/W2157572995","https://openalex.org/W2160999345","https://openalex.org/W2162140605","https://openalex.org/W2165406169","https://openalex.org/W2171301190","https://openalex.org/W2310793150","https://openalex.org/W2584118703","https://openalex.org/W4206226097"],"related_works":["https://openalex.org/W1867637656","https://openalex.org/W2019557020","https://openalex.org/W1876958756","https://openalex.org/W2329232208","https://openalex.org/W1904030840","https://openalex.org/W117401069","https://openalex.org/W2029885248","https://openalex.org/W2145728809","https://openalex.org/W1929740280","https://openalex.org/W2999501513"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}