{"id":"https://openalex.org/W4226238815","doi":"https://doi.org/10.1109/tase.2022.3164639","title":"Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets","display_name":"Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets","publication_year":2022,"publication_date":"2022-04-13","ids":{"openalex":"https://openalex.org/W4226238815","doi":"https://doi.org/10.1109/tase.2022.3164639"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2022.3164639","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2022.3164639","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"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 Transactions on Automation Science and Engineering","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/A5034563646","display_name":"Yufeng Chen","orcid":"https://orcid.org/0000-0002-1568-3444"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yufeng Chen","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi’an, China"],"raw_orcid":"https://orcid.org/0000-0002-1568-3444","affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101790858","display_name":"Lei Pan","orcid":"https://orcid.org/0000-0002-8889-6117"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Pan","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi’an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi’an, China","Institute of Systems Engineering, Macau University of Science and Technology, Taipa, China"],"raw_orcid":"https://orcid.org/0000-0003-1547-5503","affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, China","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8679,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.87033498,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"20","issue":"1","first_page":"611","last_page":"623"},"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.9954000115394592,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9902999997138977,"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/petri-net","display_name":"Petri net","score":0.8058356642723083},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.7981520295143127},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6672422885894775},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.6465687155723572},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6108527183532715},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5140889286994934},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4361193776130676},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39300549030303955},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3379153907299042},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30343419313430786}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8058356642723083},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.7981520295143127},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6672422885894775},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.6465687155723572},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6108527183532715},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5140889286994934},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4361193776130676},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39300549030303955},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3379153907299042},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30343419313430786},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2022.3164639","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2022.3164639","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"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 Transactions on Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.41999998688697815}],"awards":[{"id":"https://openalex.org/G2701914156","display_name":null,"funder_award_id":"0064/2021/A2","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"},{"id":"https://openalex.org/G319551656","display_name":null,"funder_award_id":"JB210402","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321655","display_name":"Science and Technology Development Fund","ror":"https://ror.org/044vr6g03"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W1508998572","https://openalex.org/W1621270329","https://openalex.org/W1915570783","https://openalex.org/W1979349468","https://openalex.org/W1996109622","https://openalex.org/W2001671625","https://openalex.org/W2001822592","https://openalex.org/W2005217875","https://openalex.org/W2010353902","https://openalex.org/W2022250047","https://openalex.org/W2035556324","https://openalex.org/W2037933704","https://openalex.org/W2045940440","https://openalex.org/W2053688063","https://openalex.org/W2059057465","https://openalex.org/W2062441999","https://openalex.org/W2085119635","https://openalex.org/W2089870759","https://openalex.org/W2094370340","https://openalex.org/W2099584921","https://openalex.org/W2104367108","https://openalex.org/W2109692480","https://openalex.org/W2110169180","https://openalex.org/W2110808353","https://openalex.org/W2115369064","https://openalex.org/W2132355828","https://openalex.org/W2135886503","https://openalex.org/W2140640958","https://openalex.org/W2140872435","https://openalex.org/W2147281200","https://openalex.org/W2152008376","https://openalex.org/W2155372793","https://openalex.org/W2155682070","https://openalex.org/W2157750688","https://openalex.org/W2158181749","https://openalex.org/W2158410599","https://openalex.org/W2159041827","https://openalex.org/W2165594843","https://openalex.org/W2310250136","https://openalex.org/W2310793150","https://openalex.org/W2316519055","https://openalex.org/W2461900131","https://openalex.org/W2528134256","https://openalex.org/W2553653057","https://openalex.org/W2650211558","https://openalex.org/W2799338570","https://openalex.org/W2912317637","https://openalex.org/W2943710525","https://openalex.org/W2983543554","https://openalex.org/W3007418408","https://openalex.org/W3101711604","https://openalex.org/W3126996313","https://openalex.org/W3205399122","https://openalex.org/W4236164983"],"related_works":["https://openalex.org/W4387731985","https://openalex.org/W2755149878","https://openalex.org/W2941808082","https://openalex.org/W2468425257","https://openalex.org/W4377009725","https://openalex.org/W4379086698","https://openalex.org/W2528721242","https://openalex.org/W4320164562","https://openalex.org/W2356364326","https://openalex.org/W2372069567"],"abstract_inverted_index":{"This":[0,166],"paper":[1,167],"proposes":[2,168],"an":[3],"iterative":[4],"approach":[5,222],"to":[6,80,119,136,142,169,182,194],"separate":[7],"a":[8,14,18,27,65,76,82,102,117,121,126,195],"set":[9,52,66,83,128],"of":[10,13,20,30,45,53,60,67,84,101,129,210],"admissible":[11,31,55,61,96,190],"markings":[12,32,38,191],"nonlinear":[15,78,103,171,197,230],"constraint":[16,79,104],"into":[17],"number":[19,209],"subsets.":[21],"At":[22],"each":[23,58,112],"iteration,":[24],"we":[25,63,72,115],"find":[26],"maximal":[28],"subset":[29,59],"that":[33,94,219],"are":[34,134],"separated":[35,107],"from":[36,111],"inadmissible":[37,98],"by":[39,108,206,229],"linear":[40,69,86,109,164],"constraints.":[41,70,131,165,231],"Then,":[42],"the":[43,47,51,92,138,153,184,200,208,214,220,225],"union":[44],"all":[46,54,157,189],"obtained":[48],"subsets":[49],"constitutes":[50],"markings.":[56],"For":[57],"markings,":[62],"obtain":[64],"conjunctive":[68],"Accordingly,":[71],"can":[73,89,160,223],"equivalently":[74],"transform":[75],"given":[77,196],"be":[81,106,161],"disjunctive/conjunctive":[85,130],"constraints,":[87],"which":[88],"deal":[90],"with":[91,188,192],"case":[93],"both":[95],"and":[97],"marking":[99],"spaces":[100],"cannot":[105],"constraints":[110,144,172],"other.":[113],"Furthermore,":[114],"propose":[116],"method":[118],"design":[120],"Petri":[122,146,174],"net":[123,186],"supervisor":[124,179],"for":[125],"derived":[127],"Some":[132],"examples":[133],"used":[135],"demonstrate":[137],"proposed":[139,221],"approach.":[140],"Note":[141],"Practitioners\u2014Linear":[143],"on":[145,173],"nets":[147],"have":[148],"been":[149],"widely":[150],"studied":[151],"in":[152,213],"literature.":[154],"However,":[155],"not":[156],"control":[158,211,226],"specifications":[159,227],"represented":[162,228],"as":[163],"enforce":[170],"nets.":[175],"A":[176],"maximally":[177],"permissive":[178],"is":[180,203],"designed":[181],"make":[183],"controlled":[185],"live":[187],"respect":[193],"constraint.":[198],"Meanwhile,":[199],"structural":[201],"complexity":[202],"also":[204],"considered":[205],"compressing":[207],"places":[212],"supervisor.":[215],"Experimental":[216],"results":[217],"show":[218],"implement":[224]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}