{"id":"https://openalex.org/W3033555834","doi":"https://doi.org/10.1109/jas.2020.1003210","title":"Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming","display_name":"Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming","publication_year":2020,"publication_date":"2020-06-02","ids":{"openalex":"https://openalex.org/W3033555834","doi":"https://doi.org/10.1109/jas.2020.1003210","mag":"3033555834"},"language":"en","primary_location":{"id":"doi:10.1109/jas.2020.1003210","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jas.2020.1003210","pdf_url":null,"source":{"id":"https://openalex.org/S2484288132","display_name":"IEEE/CAA Journal of Automatica Sinica","issn_l":"2329-9266","issn":["2329-9266","2329-9274"],"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/CAA Journal of Automatica Sinica","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/A5033428699","display_name":"Shouguang Wang","orcid":"https://orcid.org/0000-0002-8998-0433"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shouguang Wang","raw_affiliation_strings":["School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034332672","display_name":"Wenli Duo","orcid":"https://orcid.org/0000-0002-4455-0122"},"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"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Wenli Duo","raw_affiliation_strings":["Macau Institute of Systems Engineering, Macau University of Science and Technology, Macau 999078, China"],"affiliations":[{"raw_affiliation_string":"Macau Institute of Systems Engineering, Macau University of Science and Technology, Macau 999078, China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073696205","display_name":"Xin Guo","orcid":"https://orcid.org/0000-0002-1558-7559"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Guo","raw_affiliation_strings":["School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015460366","display_name":"Xiaoning Jiang","orcid":"https://orcid.org/0000-0002-1852-9565"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoning Jiang","raw_affiliation_strings":["School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006764237","display_name":"Dan You","orcid":"https://orcid.org/0000-0001-9088-9672"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dan You","raw_affiliation_strings":["School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028283340","display_name":"Kamel Barkaoui","orcid":"https://orcid.org/0000-0001-7175-0448"},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Kamel Barkaoui","raw_affiliation_strings":["Department of Computer Science, Conservatoire National des Arts et Metiers, Paris 75141, France"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Conservatoire National des Arts et Metiers, Paris 75141, France","institution_ids":["https://openalex.org/I124158823"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]},{"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"]}],"countries":["MO","US"],"is_corresponding":false,"raw_author_name":"MengChu Zhou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ 07102 USA, and also with the Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macau 999078, China","Macau University of Science and Technology"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ 07102 USA, and also with the Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macau 999078, China","institution_ids":["https://openalex.org/I111950717","https://openalex.org/I118118575"]},{"raw_affiliation_string":"Macau University of Science and Technology","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5033428699"],"corresponding_institution_ids":["https://openalex.org/I75059550"],"apc_list":null,"apc_paid":null,"fwci":3.2365,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.93501805,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"8","issue":"1","first_page":"219","last_page":"226"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"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":1.0,"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.9940000176429749,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8533774614334106},{"id":"https://openalex.org/keywords/siphon","display_name":"Siphon (mollusc)","score":0.8144189119338989},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6625455021858215},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.6315608024597168},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.6173727512359619},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.6027281284332275},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5592383146286011},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5482077598571777},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.45039504766464233},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.4466448426246643},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.4383629858493805},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41814321279525757},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38829973340034485},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.357828289270401},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.29490360617637634},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.17292466759681702},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11146822571754456}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8533774614334106},{"id":"https://openalex.org/C163629137","wikidata":"https://www.wikidata.org/wiki/Q1276903","display_name":"Siphon (mollusc)","level":2,"score":0.8144189119338989},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6625455021858215},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.6315608024597168},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.6173727512359619},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.6027281284332275},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5592383146286011},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5482077598571777},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.45039504766464233},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.4466448426246643},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4383629858493805},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41814321279525757},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38829973340034485},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.357828289270401},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.29490360617637634},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.17292466759681702},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11146822571754456},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/jas.2020.1003210","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jas.2020.1003210","pdf_url":null,"source":{"id":"https://openalex.org/S2484288132","display_name":"IEEE/CAA Journal of Automatica Sinica","issn_l":"2329-9266","issn":["2329-9266","2329-9274"],"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/CAA Journal of Automatica Sinica","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03028154v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03028154","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE/CAA Journal of Automatica Sinica, 2021, pp.1-8. ⟨10.1109/JAS.2020.1003210⟩","raw_type":"Journal articles"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W1572060549","https://openalex.org/W1925800244","https://openalex.org/W1968033185","https://openalex.org/W1980149643","https://openalex.org/W1986055061","https://openalex.org/W1991022292","https://openalex.org/W1997821888","https://openalex.org/W2024623468","https://openalex.org/W2029320999","https://openalex.org/W2037933704","https://openalex.org/W2039148441","https://openalex.org/W2044245878","https://openalex.org/W2049695585","https://openalex.org/W2060084509","https://openalex.org/W2062441999","https://openalex.org/W2068296765","https://openalex.org/W2078374173","https://openalex.org/W2089545832","https://openalex.org/W2098899007","https://openalex.org/W2099550549","https://openalex.org/W2099584921","https://openalex.org/W2108678912","https://openalex.org/W2125936179","https://openalex.org/W2135624536","https://openalex.org/W2140444941","https://openalex.org/W2144525166","https://openalex.org/W2146738006","https://openalex.org/W2172300075","https://openalex.org/W2290580551","https://openalex.org/W2310793150","https://openalex.org/W2311033460","https://openalex.org/W2314579004","https://openalex.org/W2321602917","https://openalex.org/W2344326925","https://openalex.org/W2397401118","https://openalex.org/W2594563654","https://openalex.org/W2597321818","https://openalex.org/W2613548800","https://openalex.org/W2765202909","https://openalex.org/W2766115945","https://openalex.org/W2776443426","https://openalex.org/W2777104519","https://openalex.org/W2777658276","https://openalex.org/W2799338570","https://openalex.org/W2901776478","https://openalex.org/W2902143771","https://openalex.org/W2904201055","https://openalex.org/W2908824635","https://openalex.org/W2914255553","https://openalex.org/W2948851896","https://openalex.org/W2972817020","https://openalex.org/W3022502563","https://openalex.org/W3058230660","https://openalex.org/W3114746945","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1867637656","https://openalex.org/W2329232208","https://openalex.org/W1876958756","https://openalex.org/W2045363093","https://openalex.org/W117401069","https://openalex.org/W1904030840","https://openalex.org/W2029885248","https://openalex.org/W2145728809","https://openalex.org/W2999501513","https://openalex.org/W2369376749"],"abstract_inverted_index":{"Deadlock":[0],"resolution":[1,45],"strategies":[2,46],"based":[3],"on":[4,15,42],"siphon":[5,16,32,53,85],"control":[6],"are":[7,66,106],"widely":[8],"investigated.":[9],"Their":[10],"computational":[11,126],"efficiency":[12],"largely":[13],"depends":[14],"computation.":[17],"Mixed-integer":[18],"programming":[19],"(":[20,37,86],"MIP":[21,64,78,122],")":[22,39,88],"can":[23,47],"be":[24,48],"utilized":[25],"for":[26,68,89],"the":[27,113,120,129,136],"computation":[28],"of":[29,71,92,102,138],"an":[30,76,82,139],"emptiable":[31,83],"in":[33,104],"a":[34,90],"Petri":[35],"net":[36],"PN":[38],".":[40],"Based":[41],"it,":[43],"deadlock":[44],"designed":[49],"without":[50],"requiring":[51],"complete":[52],"enumeration":[54],"that":[55,119],"has":[56,124],"exponential":[57],"complexity.":[58],"Due":[59],"to":[60,80,134],"this":[61],"reason,":[62],"various":[63,69],"methods":[65],"proposed":[67,121,130],"subclasses":[70],"PNs.":[72],"This":[73],"work":[74],"proposes":[75],"innovative":[77],"method":[79,123,131],"compute":[81],"minimal":[84],"EMS":[87,103],"subclass":[91],"PNs":[93],"named":[94],"S4PR.":[95,141],"In":[96],"particular,":[97],"many":[98],"particular":[99],"structural":[100],"characteristics":[101],"S4PR":[105],"formalized":[107],"as":[108],"constraints,":[109],"which":[110],"greatly":[111],"reduces":[112],"solution":[114],"space.":[115],"Experimental":[116],"results":[117],"show":[118],"higher":[125],"efficiency.":[127],"Furthermore,":[128],"allows":[132],"one":[133],"determine":[135],"liveness":[137],"ordinary":[140]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}