{"id":"https://openalex.org/W4403826990","doi":"https://doi.org/10.1109/tsmc.2024.3473851","title":"A Reachability-Decidable Petri Net Modeling Method for Discrete Event Systems","display_name":"A Reachability-Decidable Petri Net Modeling Method for Discrete Event Systems","publication_year":2024,"publication_date":"2024-10-28","ids":{"openalex":"https://openalex.org/W4403826990","doi":"https://doi.org/10.1109/tsmc.2024.3473851"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2024.3473851","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2024.3473851","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"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 Systems, Man, and Cybernetics: Systems","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/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":"Yue Su","raw_affiliation_strings":["Faculty of Innovation Engineering, Macau University of Science and Technology, Macau, China"],"raw_orcid":"https://orcid.org/0000-0002-7858-7599","affiliations":[{"raw_affiliation_string":"Faculty of Innovation Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","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"]}],"countries":["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"],"raw_orcid":"https://orcid.org/0000-0002-5408-8752","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"]}]},{"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, Shandong, China"],"raw_orcid":"https://orcid.org/0000-0002-0762-5607","affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029112800","display_name":"Remigiusz Wi\u015bniewski","orcid":"https://orcid.org/0000-0001-6829-2263"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Remigiusz Wi\u015bniewski","raw_affiliation_strings":["Institute of Control and Computation Engineering, University of Zielona Góra, Zielona Góra, Lubusz, Poland","Institute of Control and Computation Engineering, University of Zielona Góra, Zielona Góra 65417, Lubusz, Poland"],"raw_orcid":"https://orcid.org/0000-0001-6829-2263","affiliations":[{"raw_affiliation_string":"Institute of Control and Computation Engineering, University of Zielona Góra, Zielona Góra, Lubusz, Poland","institution_ids":["https://openalex.org/I46305939"]},{"raw_affiliation_string":"Institute of Control and Computation Engineering, University of Zielona Góra, Zielona Góra 65417, Lubusz, Poland","institution_ids":["https://openalex.org/I46305939"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.5509,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.98171105,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"55","issue":"1","first_page":"453","last_page":"464"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9957000017166138,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9957000017166138,"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"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.98580002784729,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9700999855995178,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/reachability","display_name":"Reachability","score":0.9545189142227173},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9401614665985107},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7617712020874023},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.7187819480895996},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6301527619361877},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6208248138427734},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.5831688046455383},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.5671941637992859},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4091382622718811},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37628084421157837},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34398341178894043},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32292455434799194},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.04786062240600586}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9545189142227173},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9401614665985107},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7617712020874023},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.7187819480895996},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6301527619361877},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6208248138427734},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.5831688046455383},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.5671941637992859},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4091382622718811},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37628084421157837},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34398341178894043},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32292455434799194},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.04786062240600586},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2024.3473851","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2024.3473851","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"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 Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/13","display_name":"Climate action"}],"awards":[{"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/G2749194633","display_name":null,"funder_award_id":"ZR2024MF140","funder_id":"https://openalex.org/F4320324174","funder_display_name":"Natural Science Foundation of Shandong Province"}],"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":50,"referenced_works":["https://openalex.org/W1559818378","https://openalex.org/W1567452221","https://openalex.org/W1873097034","https://openalex.org/W1913491539","https://openalex.org/W1978320803","https://openalex.org/W1996109622","https://openalex.org/W2013749837","https://openalex.org/W2051203901","https://openalex.org/W2078374173","https://openalex.org/W2091067450","https://openalex.org/W2096110679","https://openalex.org/W2120949969","https://openalex.org/W2168414441","https://openalex.org/W2311104802","https://openalex.org/W2315512848","https://openalex.org/W2324066153","https://openalex.org/W2344188727","https://openalex.org/W2523482717","https://openalex.org/W2534637849","https://openalex.org/W2567068623","https://openalex.org/W2594563654","https://openalex.org/W2790897865","https://openalex.org/W2890194976","https://openalex.org/W2899946106","https://openalex.org/W2912317637","https://openalex.org/W3023381051","https://openalex.org/W3034223584","https://openalex.org/W3038767685","https://openalex.org/W3047048628","https://openalex.org/W3094288436","https://openalex.org/W3101711604","https://openalex.org/W3107544882","https://openalex.org/W3134766828","https://openalex.org/W3136084473","https://openalex.org/W3202282633","https://openalex.org/W4206538855","https://openalex.org/W4225747963","https://openalex.org/W4239274944","https://openalex.org/W4246075700","https://openalex.org/W4249538237","https://openalex.org/W4308212147","https://openalex.org/W4312219315","https://openalex.org/W4321194947","https://openalex.org/W4364357338","https://openalex.org/W4366148226","https://openalex.org/W4376456874","https://openalex.org/W4379533667","https://openalex.org/W4385832151","https://openalex.org/W4387092442","https://openalex.org/W4391308096"],"related_works":["https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W2522627362","https://openalex.org/W2110957508","https://openalex.org/W2387511021","https://openalex.org/W2060144422","https://openalex.org/W2095453628","https://openalex.org/W2400441765","https://openalex.org/W1531156418"],"abstract_inverted_index":{"Petri":[0],"nets":[1],"(PNs)":[2],"are":[3,232],"graphical":[4],"and":[5,17,33,132,170,222,226,237],"mathematical":[6],"tools":[7],"used":[8],"to":[9,39,64,81,88,98,102,147],"model":[10,201],"a":[11,65,71,104,117,130,168,213],"variety":[12],"of":[13,43,48,57,70,85,110,114,129,135,137,167,191,199,219,229],"discrete":[14],"event":[15],"systems":[16],"analyze":[18],"their":[19,23],"properties.":[20],"Reachability":[21],"is":[22,27,52,96,145,174,241],"fundamental":[24],"property":[25],"that":[26,62,152,181,196],"undecidable":[28],"for":[29],"PNs":[30,245],"in":[31,91,107,116,176,205,216,243],"general":[32],"has":[34,77,156],"exponential":[35],"complexity":[36],"with":[37],"respect":[38],"net":[40],"size.":[41],"One":[42],"the":[44,55,83,108,124,127,133,165,189,192,197,200,217,230,247],"possible":[45],"computation":[46],"techniques":[47],"reachable":[49],"states":[50],"(markings)":[51],"based":[53],"on":[54],"determination":[56],"legal":[58],"firing":[59],"sequences":[60],"(LFSs)":[61],"correspond":[63],"non-negative":[66],"integer":[67],"solutions":[68],"(NISs)":[69],"state":[72,118,139,154],"equation.":[73,119,140],"Our":[74],"previous":[75],"work":[76,122,240],"proposed":[78,146],"an":[79,89,111,142],"algorithm":[80,231],"decide":[82,103],"existence":[84],"LFSs":[86],"corresponding":[87],"NIS":[90],"polynomial":[92,206],"time.":[93,207],"However,":[94],"it":[95],"impossible":[97],"check":[99],"all":[100],"NISs":[101,115,136],"marking\u2019s":[105],"reachability":[106,198],"case":[109,235],"infinite":[112],"number":[113,134],"Hence,":[120],"this":[121,177],"studies":[123,236],"relationship":[125,163],"between":[126,164],"structure":[128,150,186],"PN":[131,169,220],"its":[138,149,153,171,185],"Furthermore,":[141],"innovative":[143],"method":[144],"modify":[148,184],"such":[151,195],"equation":[155],"no":[157],"more":[158],"than":[159],"one":[160,173],"NIS.":[161],"The":[162,224],"properties":[166],"modified":[172],"studied":[175],"article.":[178],"We":[179],"conclude":[180],"we":[182],"can":[183,202,209],"while":[187],"maintaining":[188],"function":[190],"modeled":[193],"system":[194],"be":[203,210],"decided":[204],"This":[208,239],"viewed":[211],"as":[212],"breakthrough":[214],"result":[215],"area":[218],"theory":[221],"applications.":[223],"correctness":[225],"time":[227],"efficiency":[228],"verified":[233],"by":[234],"experiments.":[238],"important":[242],"putting":[244],"into":[246],"industrial":[248],"use.":[249]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":9}],"updated_date":"2025-12-21T23:12:01.093139","created_date":"2025-10-10T00:00:00"}