{"id":"https://openalex.org/W4412352793","doi":"https://doi.org/10.1109/tase.2025.3588429","title":"A Structure-Modification-Based Petri Net Modeling and Reachability Analysis Method for Automated Manufacturing Systems","display_name":"A Structure-Modification-Based Petri Net Modeling and Reachability Analysis Method for Automated Manufacturing Systems","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412352793","doi":"https://doi.org/10.1109/tase.2025.3588429"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2025.3588429","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2025.3588429","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/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":true,"raw_author_name":"Yue Su","raw_affiliation_strings":["Faculty of Innovation Engineering, Macau University of Science and Technology, Macau, China"],"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/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/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["MO","US"],"is_corresponding":false,"raw_author_name":"MengChu Zhou","raw_affiliation_strings":["Macao Institute of Systems Engineering, Macau University of Science and Technology, Macao, China","Helen and John C. Hartmann Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Macao Institute of Systems Engineering, Macau University of Science and Technology, Macao, China","institution_ids":["https://openalex.org/I111950717"]},{"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":["Department of Artificial Intelligence, Shandong University of Science and Technology, Qingdao, Shandong, China"],"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, Shandong University of Science and Technology, Qingdao, Shandong, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045587553","display_name":"Aiiad Albeshri","orcid":"https://orcid.org/0000-0003-3796-0294"},"institutions":[{"id":"https://openalex.org/I185163786","display_name":"King Abdulaziz University","ror":"https://ror.org/02ma4wv74","country_code":"SA","type":"education","lineage":["https://openalex.org/I185163786"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Aiiad Albeshri","raw_affiliation_strings":["Department of Computer Science, King Abdulaziz University, Jeddah, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, King Abdulaziz University, Jeddah, Saudi Arabia","institution_ids":["https://openalex.org/I185163786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071962721","display_name":"Abdullah Abusorrah","orcid":"https://orcid.org/0000-0001-8025-0453"},"institutions":[{"id":"https://openalex.org/I4210137149","display_name":"Renewable Energy Systems (United States)","ror":"https://ror.org/036gc1b60","country_code":"US","type":"company","lineage":["https://openalex.org/I4210090535","https://openalex.org/I4210137149"]},{"id":"https://openalex.org/I185163786","display_name":"King Abdulaziz University","ror":"https://ror.org/02ma4wv74","country_code":"SA","type":"education","lineage":["https://openalex.org/I185163786"]}],"countries":["SA","US"],"is_corresponding":false,"raw_author_name":"Abdullah Abusorrah","raw_affiliation_strings":["the Department of Electrical and Computer Engineering, the Faculty of Engineering, and the K. A. CARE Energy Research and Innovation Center, Center of Research Excellence in Renewable Energy and Power Systems, King Abdulaziz University, Jeddah, Saudi Arabia","Faculty of Engineering, Department of Electrical and Computer Engineering, Center of Research Excellence in Renewable Energy and Power Systems, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"the Department of Electrical and Computer Engineering, the Faculty of Engineering, and the K. A. CARE Energy Research and Innovation Center, Center of Research Excellence in Renewable Energy and Power Systems, King Abdulaziz University, Jeddah, Saudi Arabia","institution_ids":["https://openalex.org/I185163786","https://openalex.org/I4210137149"]},{"raw_affiliation_string":"Faculty of Engineering, Department of Electrical and Computer Engineering, Center of Research Excellence in Renewable Energy and Power Systems, Saudi Arabia","institution_ids":["https://openalex.org/I4210137149"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5059504422"],"corresponding_institution_ids":["https://openalex.org/I111950717"],"apc_list":null,"apc_paid":null,"fwci":2.8557,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.91470459,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"22","issue":null,"first_page":"20493","last_page":"20504"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9538000226020813,"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"}},"topics":[{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9538000226020813,"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.9049999713897705,"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.9258133172988892},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9027735590934753},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5639622211456299},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.45553895831108093},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.45486870408058167},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.4319835901260376},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3373815417289734},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3353036642074585},{"id":"https://openalex.org/keywords/manufacturing-engineering","display_name":"Manufacturing engineering","score":0.33171653747558594},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3212948739528656},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2410658597946167},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14622658491134644}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9258133172988892},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9027735590934753},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5639622211456299},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.45553895831108093},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.45486870408058167},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.4319835901260376},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3373815417289734},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3353036642074585},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"score":0.33171653747558594},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3212948739528656},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2410658597946167},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14622658491134644},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2025.3588429","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2025.3588429","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/9","display_name":"Industry, innovation and infrastructure","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W1550288717","https://openalex.org/W1559818378","https://openalex.org/W1567452221","https://openalex.org/W1571072354","https://openalex.org/W1651168384","https://openalex.org/W1873097034","https://openalex.org/W1913491539","https://openalex.org/W1978320803","https://openalex.org/W1980233554","https://openalex.org/W2015160737","https://openalex.org/W2051203901","https://openalex.org/W2060084509","https://openalex.org/W2078374173","https://openalex.org/W2089956923","https://openalex.org/W2091067450","https://openalex.org/W2103504376","https://openalex.org/W2106001218","https://openalex.org/W2120302246","https://openalex.org/W2135051863","https://openalex.org/W2137538401","https://openalex.org/W2153337086","https://openalex.org/W2164332376","https://openalex.org/W2168414441","https://openalex.org/W2324066153","https://openalex.org/W2344188727","https://openalex.org/W2471803228","https://openalex.org/W2526581160","https://openalex.org/W2534637849","https://openalex.org/W2567068623","https://openalex.org/W2611319816","https://openalex.org/W2790897865","https://openalex.org/W2899347012","https://openalex.org/W2899946106","https://openalex.org/W2912317637","https://openalex.org/W2966670972","https://openalex.org/W2980876179","https://openalex.org/W3028908275","https://openalex.org/W3047048628","https://openalex.org/W3116916299","https://openalex.org/W3118489751","https://openalex.org/W3125807229","https://openalex.org/W3134766828","https://openalex.org/W3136084473","https://openalex.org/W3202282633","https://openalex.org/W4205108290","https://openalex.org/W4205781657","https://openalex.org/W4246075700","https://openalex.org/W4249538237","https://openalex.org/W4285200426","https://openalex.org/W4312219315","https://openalex.org/W4312457305","https://openalex.org/W4312844218","https://openalex.org/W4313496615","https://openalex.org/W4321194947","https://openalex.org/W4364357338","https://openalex.org/W4366148226","https://openalex.org/W4376456874","https://openalex.org/W4383295107","https://openalex.org/W4391308096","https://openalex.org/W4393253049","https://openalex.org/W4394627421"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W4386989863","https://openalex.org/W2064254377","https://openalex.org/W2092311420","https://openalex.org/W4242099213"],"abstract_inverted_index":{"Due":[0],"to":[1,29,44,64,70,78,94,101,111,149],"their":[2,31,37,50],"graphical":[3],"representation":[4],"and":[5,35,137,161,189],"capability":[6],"for":[7,156],"property":[8],"analysis,":[9],"Petri":[10],"nets":[11],"(PNs)":[12],"have":[13,194],"been":[14],"widely":[15],"used":[16],"in":[17,104,228,239],"developing":[18],"automated":[19],"manufacturing":[20],"systems":[21],"(AMS).":[22],"When":[23],"designing":[24],"them,":[25],"it":[26,54,108],"is":[27,43,69,109,147,248],"important":[28],"perform":[30],"state":[32,59,85,126,142,160,165],"reachability":[33,47,68,114,221],"analysis":[34],"verify":[36],"functionality.":[38],"The":[39,245],"most":[40],"common":[41],"approach":[42],"traverse":[45],"a":[46,66,72,84,116,125,151,208,236],"tree":[48],"of":[49,58,83,98,115,122,124,140,178,203,222,242],"PN":[51,135,152,176,187,214,243],"models.":[52],"However,":[53],"has":[55,90,167],"the":[56,96,113,131,134,183,190,196,201,204,212,216,220,240],"problem":[57],"space":[60],"explosion.":[61],"A":[62],"way":[63],"determine":[65],"state\u2019s":[67],"find":[71],"firing":[73],"sequence":[74],"(FS)":[75],"that":[76,195],"corresponds":[77],"nonnegative":[79],"integer":[80],"solutions":[81],"(NISs)":[82],"equation.":[86,127,143],"Our":[87],"prior":[88],"work":[89,129],"given":[91,118,158],"an":[92,102,119,174,179],"algorithm":[93],"decide":[95,112],"existence":[97],"FS":[99],"corresponding":[100],"NIS":[103,138],"polynomial":[105,229],"time.":[106],"Yet":[107],"impossible":[110],"marking":[117,224],"infinite":[120],"number":[121],"NISs":[123],"This":[128],"studies":[130],"relationship":[132,184],"between":[133,185],"model":[136,177],"count":[139],"any":[141,157,223],"An":[144],"innovative":[145],"method":[146,198,247],"proposed":[148,197,246],"modify":[150],"structure":[153],"such":[154],"that,":[155],"initial":[159,175,186],"destination":[162],"one,":[163],"its":[164],"equation":[166],"no":[168],"more":[169],"than":[170],"one":[171],"NIS.":[172],"Given":[173],"AMS,":[180],"by":[181,210],"analyzing":[182],"properties":[188],"modified":[191,213],"one\u2019s,":[192],"we":[193],"can":[199,225,232],"maintain":[200],"functionality":[202],"modeled":[205],"AMS.":[206],"As":[207],"result,":[209],"using":[211],"as":[215,235],"AMS\u2019s":[217],"final":[218],"model,":[219],"be":[226,233],"determined":[227],"time,":[230],"which":[231],"viewed":[234],"breakthrough":[237],"result":[238],"field":[241],"analysis.":[244],"illustrated":[249],"via":[250],"case":[251],"studies.":[252]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-04T09:10:02.777135","created_date":"2025-10-10T00:00:00"}