{"id":"https://openalex.org/W4376456874","doi":"https://doi.org/10.1109/tase.2023.3272983","title":"Probabilistic Reachability Prediction of Unbounded Petri Nets: A Machine Learning Method","display_name":"Probabilistic Reachability Prediction of Unbounded Petri Nets: A Machine Learning Method","publication_year":2023,"publication_date":"2023-05-11","ids":{"openalex":"https://openalex.org/W4376456874","doi":"https://doi.org/10.1109/tase.2023.3272983"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2023.3272983","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2023.3272983","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/A5073907484","display_name":"Hongda Qi","orcid":"https://orcid.org/0000-0001-9318-2824"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongda Qi","raw_affiliation_strings":["Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-9318-2824","affiliations":[{"raw_affiliation_string":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060856903","display_name":"Mingjian Guang","orcid":"https://orcid.org/0000-0003-2944-2665"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingjian Guang","raw_affiliation_strings":["Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-2944-2665","affiliations":[{"raw_affiliation_string":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100345552","display_name":"Junli Wang","orcid":"https://orcid.org/0000-0002-7185-9731"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junli Wang","raw_affiliation_strings":["Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-7185-9731","affiliations":[{"raw_affiliation_string":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063698564","display_name":"Chungang Yan","orcid":"https://orcid.org/0000-0002-1917-9616"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chungang Yan","raw_affiliation_strings":["Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-1917-9616","affiliations":[{"raw_affiliation_string":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066099338","display_name":"Changjun Jiang","orcid":"https://orcid.org/0000-0003-0637-9317"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Changjun Jiang","raw_affiliation_strings":["Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-0637-9317","affiliations":[{"raw_affiliation_string":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I116953780"],"apc_list":null,"apc_paid":null,"fwci":1.5545,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.8523091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"21","issue":"3","first_page":"3012","last_page":"3024"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"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":0.9998000264167786,"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.9937999844551086,"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/T10142","display_name":"Formal Methods in Verification","score":0.9930999875068665,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9281686544418335},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7906540632247925},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.7021478414535522},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6718535423278809},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6410112380981445},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5040894746780396},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.4666122794151306},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.43258136510849},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.42130792140960693},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3885285556316376},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3076004981994629}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9281686544418335},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7906540632247925},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.7021478414535522},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6718535423278809},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6410112380981445},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5040894746780396},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.4666122794151306},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.43258136510849},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.42130792140960693},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3885285556316376},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3076004981994629}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2023.3272983","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2023.3272983","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":68,"referenced_works":["https://openalex.org/W131762947","https://openalex.org/W1527225379","https://openalex.org/W1548737106","https://openalex.org/W1570743953","https://openalex.org/W1594151678","https://openalex.org/W1651168384","https://openalex.org/W1970398023","https://openalex.org/W1978320803","https://openalex.org/W1980733812","https://openalex.org/W1995736448","https://openalex.org/W1996109622","https://openalex.org/W1996191241","https://openalex.org/W2015160737","https://openalex.org/W2017315323","https://openalex.org/W2046665182","https://openalex.org/W2050871273","https://openalex.org/W2056312679","https://openalex.org/W2067475154","https://openalex.org/W2083567135","https://openalex.org/W2093541957","https://openalex.org/W2095603938","https://openalex.org/W2100926743","https://openalex.org/W2102821449","https://openalex.org/W2103504376","https://openalex.org/W2106001218","https://openalex.org/W2106377073","https://openalex.org/W2119724774","https://openalex.org/W2126163520","https://openalex.org/W2132442585","https://openalex.org/W2138352609","https://openalex.org/W2149781939","https://openalex.org/W2153337086","https://openalex.org/W2156825078","https://openalex.org/W2182981651","https://openalex.org/W2311104802","https://openalex.org/W2315512848","https://openalex.org/W2319860623","https://openalex.org/W2319958627","https://openalex.org/W2320309238","https://openalex.org/W2330362244","https://openalex.org/W2341675553","https://openalex.org/W2403044140","https://openalex.org/W2471803228","https://openalex.org/W2611319816","https://openalex.org/W2790897865","https://openalex.org/W2801367802","https://openalex.org/W2899867782","https://openalex.org/W2983543554","https://openalex.org/W3002989136","https://openalex.org/W3013758117","https://openalex.org/W3033481339","https://openalex.org/W3034223584","https://openalex.org/W3038767685","https://openalex.org/W3047048628","https://openalex.org/W3093836483","https://openalex.org/W3100424414","https://openalex.org/W3101711604","https://openalex.org/W3118222663","https://openalex.org/W3133038248","https://openalex.org/W3145135522","https://openalex.org/W3186623467","https://openalex.org/W3200177062","https://openalex.org/W3208957581","https://openalex.org/W4226320806","https://openalex.org/W4239274944","https://openalex.org/W4246075700","https://openalex.org/W4285200426","https://openalex.org/W4301491366"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W2522627362","https://openalex.org/W2020720940","https://openalex.org/W1531156418","https://openalex.org/W2148229336","https://openalex.org/W2133661350","https://openalex.org/W4255837018"],"abstract_inverted_index":{"Unbounded":[0],"Petri":[1],"nets":[2],"(UPNs)":[3],"can":[4,90,277,318,326],"describe":[5],"and":[6,21,50,108,126,130,153,188,215,230,260,359],"analyze":[7,244,330],"discrete":[8,202,234,336],"event":[9,203,235,337],"systems":[10,236,338],"with":[11,58,74,97,237,285,339],"infinite":[12,18,72,238,257,315,340],"states":[13,211,249,284,312],"(DESIS).":[14],"Due":[15],"to":[16,53,135,144,162,199,243,255,272,329],"the":[17,22,26,54,68,93,103,110,115,137,146,149,164,171,174,178,186,192,205,213,216,222,225,245,256,261,269,279,283,297,300,304,314,331],"state":[19,258,316],"space":[20,73,259,317],"combination":[23,262],"explosion":[24,263],"problem,":[25],"reachability":[27,37,56,95,105,112,139,194,206,309,332],"analysis":[28,38],"of":[29,70,82,106,118,140,173,212,224,268,303,310,334],"UPNs":[30],"is":[31,160,221,241,271,355],"an":[32,42,157],"NP-Hard":[33],"problem.":[34,195,264],"The":[35,120,265,308,322],"existing":[36],"methods":[39],"cannot":[40],"achieve":[41],"accurate":[43],"result":[44],"at":[45],"reasonable":[46],"costs":[47],"(computational":[48],"time":[49,189,253],"space)":[51],"due":[52,254],"finite":[55,75,252,291],"tree":[57],"<inline-formula":[59],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[60,197],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[61],"<tex-math":[62],"notation=\"LaTeX\">$\\omega$</tex-math>":[63],"</inline-formula>":[64],"-numbers.":[65],"Based":[66,166],"on":[67,124,167],"idea":[69],"approximating":[71],"states,":[76,219,227,239,341],"given":[77],"some":[78],"limited":[79],"reachable":[80,210,246,280,306],"markings":[81,107,147],"a":[83,87,133,182,251,274,286,290,346,353],"UPN,":[84],"we":[85,101],"propose":[86,273],"method":[88,122,180,275,298,325],"that":[89,177,276],"quantitatively":[91],"solve":[92],"UPN\u2019s":[94,111,193],"problem":[96,113,117,207],"machine":[98,294],"learning.":[99],"Firstly,":[100],"define":[102],"probabilistic":[104,138],"transform":[109],"into":[114],"prediction":[116],"markings.":[119,142],"proposed":[121,179,323],"based":[123],"positive":[125,150],"unlabeled":[127,154],"learning":[128,295],"(PUL)":[129],"bagging":[131],"trains":[132],"classifier":[134],"predict":[136,145,278],"unknown":[141,311],"Finally,":[143],"outside":[148],"sample":[151,155],"set":[152],"set,":[156],"iterative":[158],"strategy":[159],"designed":[161],"update":[163],"classifier.":[165],"seven":[168],"general":[169,335],"UPNs,":[170],"results":[172],"experiments":[175],"show":[176],"has":[181],"good":[183],"performance":[184,231],"in":[185,313,349,357],"accuracy":[187],"consumption":[190],"for":[191],"<italic":[196],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Note":[198],"Practitioners</i>":[200],"\u2014In":[201],"systems,":[204,351],"mainly":[208],"studies":[209],"system":[214],"relationship":[217,247,281],"between":[218,248,282],"which":[220],"basis":[223],"system\u2019s":[226],"behaviors,":[228],"attributes":[229],"analysis.":[232],"For":[233],"it":[240],"hard":[242],"within":[250,289],"main":[266],"motivation":[267],"paper":[270],"probability":[287],"value":[288],"time.":[292],"By":[293],"algorithms,":[296],"learns":[299],"feature":[301],"information":[302],"known":[305],"states.":[307],"be":[319,327],"predicted":[320],"approximately.":[321],"approximation":[324],"applied":[328],"properties":[333],"such":[342],"as":[343],"checking":[344],"whether":[345,352],"fault":[347],"occurs":[348],"operating":[350],"message":[354],"delivered":[356],"communication":[358],"so":[360],"on.":[361]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}