{"id":"https://openalex.org/W4387952026","doi":"https://doi.org/10.1109/tsmc.2023.3323342","title":"The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning","display_name":"The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning","publication_year":2023,"publication_date":"2023-10-26","ids":{"openalex":"https://openalex.org/W4387952026","doi":"https://doi.org/10.1109/tsmc.2023.3323342"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2023.3323342","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2023.3323342","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/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/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.5831,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.85708017,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"54","issue":"2","first_page":"1070","last_page":"1081"},"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.9980000257492065,"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.9980000257492065,"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.9674999713897705,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.967199981212616,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/liveness","display_name":"Liveness","score":0.9616557359695435},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7294952869415283},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7251739501953125},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6031310558319092},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5578897595405579},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4934615194797516},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4258642792701721},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39444422721862793},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39119401574134827}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9616557359695435},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7294952869415283},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7251739501953125},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6031310558319092},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5578897595405579},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4934615194797516},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4258642792701721},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39444422721862793},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39119401574134827}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2023.3323342","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2023.3323342","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":"Peace, Justice and strong institutions","score":0.7300000190734863,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G8088218937","display_name":null,"funder_award_id":"2022YFB4501700","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W112055548","https://openalex.org/W1501856433","https://openalex.org/W1517268203","https://openalex.org/W1551214605","https://openalex.org/W1567452221","https://openalex.org/W1996109622","https://openalex.org/W1996297578","https://openalex.org/W1996467290","https://openalex.org/W1996760951","https://openalex.org/W1999917306","https://openalex.org/W2015160737","https://openalex.org/W2055254136","https://openalex.org/W2060113263","https://openalex.org/W2064675550","https://openalex.org/W2083567135","https://openalex.org/W2103504376","https://openalex.org/W2106001218","https://openalex.org/W2108678912","https://openalex.org/W2112796928","https://openalex.org/W2117670924","https://openalex.org/W2119724774","https://openalex.org/W2135051863","https://openalex.org/W2138352609","https://openalex.org/W2149781939","https://openalex.org/W2150120952","https://openalex.org/W2153337086","https://openalex.org/W2157331557","https://openalex.org/W2182981651","https://openalex.org/W2194775991","https://openalex.org/W2309825643","https://openalex.org/W2311104802","https://openalex.org/W2319453305","https://openalex.org/W2319860623","https://openalex.org/W2341675553","https://openalex.org/W2471803228","https://openalex.org/W2765298273","https://openalex.org/W2789775179","https://openalex.org/W2790897865","https://openalex.org/W2883038117","https://openalex.org/W2902907165","https://openalex.org/W2963415211","https://openalex.org/W2997997679","https://openalex.org/W3011667710","https://openalex.org/W3038767685","https://openalex.org/W3190606083","https://openalex.org/W3197488239","https://openalex.org/W3200177062","https://openalex.org/W3205399122","https://openalex.org/W4239274944","https://openalex.org/W4285298625","https://openalex.org/W4296209272","https://openalex.org/W4376456874","https://openalex.org/W4385413703","https://openalex.org/W6631046638","https://openalex.org/W6637178625","https://openalex.org/W6688596994","https://openalex.org/W6713582119","https://openalex.org/W6754929296","https://openalex.org/W6790558058"],"related_works":["https://openalex.org/W2124283471","https://openalex.org/W2004753716","https://openalex.org/W2330065971","https://openalex.org/W2066603162","https://openalex.org/W2031305780","https://openalex.org/W2107690674","https://openalex.org/W2391817608","https://openalex.org/W2120541137","https://openalex.org/W2380939061","https://openalex.org/W2382668819"],"abstract_inverted_index":{"The":[0,109],"liveness":[1,51,82,88,104,205,211,238],"of":[2,23,30,39,49,70,83,137,157,248],"Petri":[3],"nets":[4],"(PNs)":[5],"means":[6],"that":[7,200],"every":[8],"event":[9],"can":[10,201],"occur":[11],"in":[12,246],"any":[13],"state,":[14],"establishing":[15],"a":[16,87,92,106,158],"close":[17],"relationship":[18,127],"with":[19,141],"the":[20,28,35,43,50,81,114,125,129,132,135,154,161,172,185,192,197,203,210,229,233],"deadlock-free":[21],"property":[22],"existing":[24],"systems.":[25],"Due":[26],"to":[27,55,79,98,112,146,183,208,236],"problem":[29],"state":[31,37],"space":[32,38,47,140],"explosion":[33],"and":[34,46,123,131,171,225,250],"infinite":[36,139],"unbounded":[40],"PNs":[41],"(UPNs),":[42],"time":[44],"complexity":[45,48],"decision":[52,89],"are":[53,62,181,219],"difficult":[54],"give":[56],"accurate":[57,77],"measures;":[58],"at":[59,150,188],"least,":[60],"they":[61],"both":[63],"NP-hard.":[64],"Except":[65],"for":[66,240],"some":[67,226],"particular":[68],"subclasses":[69],"UPNs,":[71,241],"there":[72],"has":[73],"not":[74],"been":[75],"an":[76],"method":[78,90,110],"decide":[80,209],"generalized":[84],"UPNs.":[85],"Thus,":[86],"from":[91],"machine":[93],"learning":[94],"perspective":[95],"is":[96,144,206],"proposed":[97],"predict":[99],"probability":[100],"values":[101],"about":[102],"UPNs\u2019":[103],"within":[105],"finite":[107,142],"time.":[108],"aims":[111],"learn":[113],"feature":[115,168,178,194,198],"information":[116],"on":[117,222],"UPNs":[118,130],"by":[119],"deep":[120],"neural":[121],"networks":[122],"establish":[124],"mapping":[126],"between":[128],"liveness.":[133],"First,":[134],"concept":[136],"approximating":[138],"states":[143],"applied":[145],"generate":[147],"reachability":[148,166,186],"graphs":[149,187],"different":[151,189],"moments,":[152],"following":[153],"firing":[155],"rules":[156],"UPN.":[159],"Then,":[160],"graph":[162,167],"convolutional":[163],"network":[164],"(GCN)-based":[165],"representation":[169,179],"module":[170,180],"gated":[173],"recurrent":[174],"unit":[175],"(GRU)-based":[176],"UPN":[177],"designed":[182],"map":[184],"moments":[190],"into":[191],"low-dimensional":[193],"space.":[195],"And":[196],"vector":[199],"characterize":[202],"UPN\u2019s":[204],"obtained":[207],"probabilistically.":[212],"Finally,":[213],"three":[214],"datasets,":[215],"including":[216],"50000":[217],"samples,":[218],"constructed.":[220],"Based":[221],"these":[223],"datasets":[224],"case":[227],"studies,":[228],"experimental":[230],"results":[231],"validate":[232],"method\u2019s":[234],"ability":[235],"make":[237],"decisions":[239],"demonstrating":[242],"its":[243],"strong":[244],"performance":[245],"terms":[247],"effectiveness":[249],"generalization.":[251]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}