{"id":"https://openalex.org/W2886575418","doi":"https://doi.org/10.1109/tsmc.2018.2854158","title":"On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets","display_name":"On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets","publication_year":2018,"publication_date":"2018-08-09","ids":{"openalex":"https://openalex.org/W2886575418","doi":"https://doi.org/10.1109/tsmc.2018.2854158","mag":"2886575418"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2018.2854158","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2018.2854158","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/A5069808600","display_name":"Oussama Karoui","orcid":"https://orcid.org/0000-0002-7061-7108"},"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":"Oussama Karoui","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Macau, China"],"raw_orcid":"https://orcid.org/0000-0002-7061-7108","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034563646","display_name":"Yufeng Chen","orcid":"https://orcid.org/0000-0002-1568-3444"},"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":"Yufeng Chen","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Macau, China"],"raw_orcid":"https://orcid.org/0000-0002-1568-3444","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","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":["Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","Key Laboratory of Electronic Equipment Structure Design, Ministry of Education, Xidian University, Xi\u2019an, China","Key Laboratory of Electronic Equipment Structure Design, Ministry of Education, Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-1547-5503","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"Key Laboratory of Electronic Equipment Structure Design, Ministry of Education, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Key Laboratory of Electronic Equipment Structure Design, Ministry of Education, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090664309","display_name":"Naiqi Wu","orcid":"https://orcid.org/0000-0001-6782-458X"},"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":"Naiqi Wu","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Macau, China"],"raw_orcid":"https://orcid.org/0000-0001-6782-458X","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102803559","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0001-6311-3588"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]},{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]},{"id":"https://openalex.org/I42731748","display_name":"National Institute of Applied Science and Technology","ror":"https://ror.org/00qn2rd91","country_code":"TN","type":"facility","lineage":["https://openalex.org/I42731748"]}],"countries":["CN","TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["LISI Laboratory, INSAT Institute, University of Carthage, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0000-0001-6311-3588","affiliations":[{"raw_affiliation_string":"LISI Laboratory, INSAT Institute, University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I179097149","https://openalex.org/I42731748"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Zhuhai, China","institution_ids":["https://openalex.org/I159948400"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6435,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.72052975,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"50","issue":"10","first_page":"3613","last_page":"3627"},"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.998199999332428,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9977999925613403,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8386251926422119},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8218997716903687},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6359198093414307},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5590876340866089},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.546233057975769},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.532569944858551},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5079532265663147},{"id":"https://openalex.org/keywords/superposition-principle","display_name":"Superposition principle","score":0.5075229406356812},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.46575814485549927},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4250311255455017},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.37730246782302856},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3381546139717102},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2675858736038208},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26676374673843384}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8386251926422119},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8218997716903687},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6359198093414307},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5590876340866089},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.546233057975769},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.532569944858551},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5079532265663147},{"id":"https://openalex.org/C27753989","wikidata":"https://www.wikidata.org/wiki/Q284885","display_name":"Superposition principle","level":2,"score":0.5075229406356812},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.46575814485549927},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4250311255455017},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.37730246782302856},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3381546139717102},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2675858736038208},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26676374673843384},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2018.2854158","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2018.2854158","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":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.4300000071525574}],"awards":[{"id":"https://openalex.org/G4796080665","display_name":null,"funder_award_id":"011/2017/A","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"},{"id":"https://openalex.org/G5587408162","display_name":null,"funder_award_id":"122/2017/A3","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"},{"id":"https://openalex.org/G7247565897","display_name":null,"funder_award_id":"106/2016/A3","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"}],"funders":[{"id":"https://openalex.org/F4320321655","display_name":"Science and Technology Development Fund","ror":"https://ror.org/044vr6g03"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":79,"referenced_works":["https://openalex.org/W56154506","https://openalex.org/W97369260","https://openalex.org/W322937049","https://openalex.org/W1482005816","https://openalex.org/W1482993605","https://openalex.org/W1483186571","https://openalex.org/W1494601066","https://openalex.org/W1568729458","https://openalex.org/W1570743953","https://openalex.org/W1610386828","https://openalex.org/W1641636991","https://openalex.org/W1802674666","https://openalex.org/W1844032500","https://openalex.org/W1934074768","https://openalex.org/W1962985716","https://openalex.org/W1965215820","https://openalex.org/W1974910756","https://openalex.org/W1996109622","https://openalex.org/W2001822592","https://openalex.org/W2006553351","https://openalex.org/W2019766155","https://openalex.org/W2022250047","https://openalex.org/W2035556324","https://openalex.org/W2041329792","https://openalex.org/W2048456685","https://openalex.org/W2055630886","https://openalex.org/W2060084509","https://openalex.org/W2076665553","https://openalex.org/W2091571939","https://openalex.org/W2092893907","https://openalex.org/W2098076307","https://openalex.org/W2100708884","https://openalex.org/W2108569958","https://openalex.org/W2109692480","https://openalex.org/W2110169180","https://openalex.org/W2110712507","https://openalex.org/W2119361484","https://openalex.org/W2126163520","https://openalex.org/W2132355828","https://openalex.org/W2135886503","https://openalex.org/W2140872435","https://openalex.org/W2144623944","https://openalex.org/W2165321755","https://openalex.org/W2205586271","https://openalex.org/W2274769753","https://openalex.org/W2316519055","https://openalex.org/W2344326925","https://openalex.org/W2344852273","https://openalex.org/W2345051373","https://openalex.org/W2403044140","https://openalex.org/W2413286929","https://openalex.org/W2461900131","https://openalex.org/W2466871366","https://openalex.org/W2511089078","https://openalex.org/W2536985169","https://openalex.org/W2538443008","https://openalex.org/W2553653057","https://openalex.org/W2580382314","https://openalex.org/W2594563654","https://openalex.org/W2594774104","https://openalex.org/W2604111823","https://openalex.org/W2610860816","https://openalex.org/W2613311451","https://openalex.org/W2614826960","https://openalex.org/W2735669400","https://openalex.org/W2741060909","https://openalex.org/W2773002878","https://openalex.org/W2783183134","https://openalex.org/W2799338570","https://openalex.org/W2800404248","https://openalex.org/W2810390640","https://openalex.org/W2884404272","https://openalex.org/W2913202392","https://openalex.org/W4302621582","https://openalex.org/W6602295188","https://openalex.org/W6633885308","https://openalex.org/W6638428988","https://openalex.org/W6674759670","https://openalex.org/W6758810558"],"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/W2095048141","https://openalex.org/W1548737106"],"abstract_inverted_index":{"State":[0],"space":[1,18,43,64],"techniques":[2],"are":[3],"one":[4],"of":[5,13,75,91,124,155,171,185,195,211,217],"the":[6,11,27,41,108,117,140,146,153,156,165,172,176,182,188,209,212,226],"main":[7],"approaches":[8],"deployed":[9],"for":[10],"analysis":[12],"concurrent":[14],"systems.":[15,84],"However,":[16],"state":[17,28,42,63,109],"construction":[19],"is":[20,111,114],"stalled":[21],"by":[22,116,168,201],"a":[23,34,59,89,103,121,125,128,135,202],"common":[24],"phenomenon":[25],"called":[26,139],"explosion":[29],"problem":[30],"which":[31,113],"makes":[32],"it":[33,70],"tough":[35],"task":[36],"or":[37],"even":[38],"impossible":[39],"when":[40],"computation":[44],"demands":[45],"prohibitive":[46],"cost":[47,219],"(time":[48],"and":[49,127,144,163,175,220],"memory).":[50],"We":[51],"limit":[52],"general":[53],"resource":[54,130,157,190],"allocation":[55],"systems":[56],"(RASs)":[57],"to":[58,106,223],"certain":[60],"class":[61,90],"whose":[62],"can":[65,198],"be":[66,199],"hierarchically":[67],"constructed,":[68],"yet":[69],"comprises":[71],"various":[72],"enough":[73],"types":[74],"real-world":[76],"discrete":[77],"event":[78],"systems,":[79],"such":[80],"as":[81],"automated":[82],"manufacturing":[83],"This":[85],"paper":[86],"focuses":[87],"on":[88],"RASs":[92],"modeled":[93],"with":[94,225],"Petri":[95],"nets":[96],"(PNs),":[97],"where,":[98],"through":[99],"pure":[100],"algebraic":[101],"operations,":[102],"novel":[104],"method":[105],"compute":[107,145],"spaces":[110],"proposed,":[112],"motivated":[115],"superposition":[118],"property.":[119],"Given":[120],"PN":[122,173],"model":[123],"system":[126],"target":[129,189],"configuration,":[131],"we":[132,151],"first":[133],"propose":[134],"special":[136],"initial":[137,141],"marking":[138,143],"basis":[142],"corresponding":[147],"reachability":[148,166,179],"graph.":[149],"Then,":[150],"increase":[152],"capacity":[154,183],"places":[158],"in":[159,215],"an":[160],"incremental":[161],"way":[162],"generate":[164],"graphs":[167],"taking":[169],"advantage":[170],"structure":[174],"previously":[177],"computed":[178],"graph":[180],"until":[181],"function":[184],"resources":[186],"reaches":[187],"configuration.":[191],"A":[192],"complete":[193],"enumeration":[194],"reachable":[196],"states":[197],"obtained":[200],"recursive":[203],"scheme.":[204],"Experimental":[205],"studies":[206],"also":[207],"demonstrate":[208],"efficiency":[210],"proposed":[213],"approach":[214],"terms":[216],"computational":[218],"its":[221],"high-potential":[222],"cope":[224],"state-explosion":[227],"problem.":[228]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}