{"id":"https://openalex.org/W4321194947","doi":"https://doi.org/10.1109/lra.2023.3246384","title":"A Backward Algorithm to Determine the Existence of Legal Firing Sequences in Ordinary Petri Nets","display_name":"A Backward Algorithm to Determine the Existence of Legal Firing Sequences in Ordinary Petri Nets","publication_year":2023,"publication_date":"2023-02-17","ids":{"openalex":"https://openalex.org/W4321194947","doi":"https://doi.org/10.1109/lra.2023.3246384"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2023.3246384","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2023.3246384","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","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/A5059504422","display_name":"Yue Su","orcid":"https://orcid.org/0000-0002-7858-7599"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yue Su","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046114805","display_name":"Liang Qi","orcid":"https://orcid.org/0000-0002-0762-5607"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Qi","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"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":["Helen and John C. Hartmann Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","Macao Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macao, China"],"affiliations":[{"raw_affiliation_string":"Helen and John C. Hartmann Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]},{"raw_affiliation_string":"Macao Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macao, China","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5059504422"],"corresponding_institution_ids":["https://openalex.org/I80143920"],"apc_list":null,"apc_paid":null,"fwci":2.8202,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.91857308,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"8","issue":"6","first_page":"3190","last_page":"3197"},"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.9983000159263611,"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.9976000189781189,"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/reachability","display_name":"Reachability","score":0.9647473096847534},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9324706792831421},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6448906064033508},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5512804985046387},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5296974778175354},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5130525827407837},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3651794195175171},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3210730254650116}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9647473096847534},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9324706792831421},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6448906064033508},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5512804985046387},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5296974778175354},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5130525827407837},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3651794195175171},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3210730254650116},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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":1,"locations":[{"id":"doi:10.1109/lra.2023.3246384","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2023.3246384","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6899999976158142,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1305782184","display_name":null,"funder_award_id":"62072287","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G156360580","display_name":null,"funder_award_id":"61903229","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8149927389","display_name":null,"funder_award_id":"ZR2022MF270","funder_id":"https://openalex.org/F4320324174","funder_display_name":"Natural Science Foundation of Shandong Province"},{"id":"https://openalex.org/G8154874561","display_name":null,"funder_award_id":"62072288","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G935457983","display_name":null,"funder_award_id":"61973180","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320324174","display_name":"Natural Science Foundation of Shandong Province","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1486053325","https://openalex.org/W1592266169","https://openalex.org/W1596080943","https://openalex.org/W1820278896","https://openalex.org/W1910633203","https://openalex.org/W1913491539","https://openalex.org/W1996109622","https://openalex.org/W2061454845","https://openalex.org/W2078374173","https://openalex.org/W2083342911","https://openalex.org/W2102516443","https://openalex.org/W2144540488","https://openalex.org/W2168414441","https://openalex.org/W2285917437","https://openalex.org/W2520248080","https://openalex.org/W2611319816","https://openalex.org/W2737731249","https://openalex.org/W2790897865","https://openalex.org/W2903851144","https://openalex.org/W2945743027","https://openalex.org/W3002989136","https://openalex.org/W3033481339","https://openalex.org/W3058230660","https://openalex.org/W3093836483","https://openalex.org/W3094288436","https://openalex.org/W3109526546","https://openalex.org/W3125807229","https://openalex.org/W4225747963","https://openalex.org/W4246075700"],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W1500907979","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W1551903405","https://openalex.org/W2499946963","https://openalex.org/W2387511021","https://openalex.org/W1531156418","https://openalex.org/W2095048141"],"abstract_inverted_index":{"Petri":[0],"nets":[1],"(PNs)":[2],"are":[3],"a":[4,17,25,31,35,61,71,84,133,178],"graphical":[5],"and":[6,160,201,215],"mathematical":[7],"tool":[8],"to":[9,30,57,138,156,189,219],"model":[10],"various":[11],"event-driven":[12],"automated":[13,220],"systems.":[14],"Reachability":[15],"is":[16,34,74,109,115,125,136,164,187],"fundamental":[18],"property":[19],"of":[20,24,45,60,70,83,90,101,142,181,193,203,217],"PNs.":[21,129,195],"The":[22],"existence":[23,89,100,141],"non-negative":[26],"integer":[27],"solution":[28],"(NIS)":[29],"state":[32,62,72,120,175],"equation":[33,73,121,176],"necessary":[36],"but":[37,122],"not":[38],"sufficient":[39],"condition":[40],"for":[41,67,145],"determining":[42,87],"the":[43,81,88,99,110,119,123,140,153,157,174,184,191,199,204,213],"reachability":[44,82,192],"PNs,":[46],"i.e.,":[47],"there":[48,114,163],"may":[49],"be":[50],"no":[51],"legal":[52],"firing":[53],"sequence":[54],"(LFS)":[55],"corresponding":[56],"an":[58,65,68,75,116,143,146,166,209],"NIS":[59,69,117],"equation.":[63],"Finding":[64],"LFS":[66,144],"NP-hard":[76],"problem.":[77],"However,":[78],"we":[79],"determine":[80,139],"marking":[85,124,155,168],"by":[86],"LFSs":[91],"rather":[92],"than":[93],"finding":[94],"them.":[95],"We":[96],"find":[97],"that":[98,113],"idling":[102],"circuits":[103,107],"(ICs)":[104],"or":[105,171],"idling-dependent":[106],"(IDCs)":[108],"root":[111],"cause":[112],"satisfying":[118],"non-reachable":[126],"in":[127,212],"ordinary":[128,194],"Based":[130],"on":[131],"this,":[132],"Backward":[134],"Algorithm":[135],"presented":[137],"NIS.":[147],"It":[148],"reversely":[149],"finds":[150],"paths":[151],"from":[152],"destination":[154],"initial":[158],"one":[159],"determines":[161],"whether":[162],"always":[165],"intermediate":[167],"with":[169],"ICs":[170],"IDCs.":[172],"When":[173],"has":[177],"finite":[179],"number":[180],"NISs,":[182],"only":[183],"polynomial":[185],"time":[186],"needed":[188],"analyze":[190],"Experimental":[196],"results":[197],"verify":[198],"effectiveness":[200],"efficiency":[202],"approach.":[205],"This":[206],"work":[207],"represents":[208],"important":[210],"advance":[211],"theory":[214],"applications":[216],"PNs":[218],"system":[221],"design.":[222]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":11}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}