{"id":"https://openalex.org/W4387831902","doi":"https://doi.org/10.1109/tsmc.2023.3321060","title":"Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets","display_name":"Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets","publication_year":2023,"publication_date":"2023-10-20","ids":{"openalex":"https://openalex.org/W4387831902","doi":"https://doi.org/10.1109/tsmc.2023.3321060"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2023.3321060","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2023.3321060","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/A5005118232","display_name":"Qi Mo","orcid":"https://orcid.org/0000-0002-3438-5303"},"institutions":[{"id":"https://openalex.org/I189210763","display_name":"Yunnan University","ror":"https://ror.org/0040axw97","country_code":"CN","type":"education","lineage":["https://openalex.org/I189210763"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qi Mo","raw_affiliation_strings":["School of Software, Yunnan University, Kunming, China"],"affiliations":[{"raw_affiliation_string":"School of Software, Yunnan University, Kunming, China","institution_ids":["https://openalex.org/I189210763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010447286","display_name":"Jianeng Wang","orcid":"https://orcid.org/0009-0006-5268-0513"},"institutions":[{"id":"https://openalex.org/I189210763","display_name":"Yunnan University","ror":"https://ror.org/0040axw97","country_code":"CN","type":"education","lineage":["https://openalex.org/I189210763"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianeng Wang","raw_affiliation_strings":["School of Software, Yunnan University, Kunming, China"],"affiliations":[{"raw_affiliation_string":"School of Software, Yunnan University, Kunming, China","institution_ids":["https://openalex.org/I189210763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029447998","display_name":"Chengting Jiang","orcid":null},"institutions":[{"id":"https://openalex.org/I189210763","display_name":"Yunnan University","ror":"https://ror.org/0040axw97","country_code":"CN","type":"education","lineage":["https://openalex.org/I189210763"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chengting Jiang","raw_affiliation_strings":["College of Basic Medicine, Yunnan University of Chinese Medicine, Kunming, China"],"affiliations":[{"raw_affiliation_string":"College of Basic Medicine, Yunnan University of Chinese Medicine, Kunming, China","institution_ids":["https://openalex.org/I189210763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102295350","display_name":"Zhongwen Xie","orcid":null},"institutions":[{"id":"https://openalex.org/I4210118050","display_name":"Taishan University","ror":"https://ror.org/02bpnkx55","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210118050"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhongwen Xie","raw_affiliation_strings":["Center for Big Data Research on Culture and Tourism, Taishan University, Tai’an, China"],"affiliations":[{"raw_affiliation_string":"Center for Big Data Research on Culture and Tourism, Taishan University, Tai’an, China","institution_ids":["https://openalex.org/I4210118050"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100331605","display_name":"Cong Liu","orcid":"https://orcid.org/0000-0002-5999-2126"},"institutions":[{"id":"https://openalex.org/I119203015","display_name":"Shandong University of Technology","ror":"https://ror.org/02mr3ar13","country_code":"CN","type":"education","lineage":["https://openalex.org/I119203015"]},{"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":"Cong Liu","raw_affiliation_strings":["School of Computer Science and Technology, Shandong University of Technology, Zibo, China","College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Shandong University of Technology, Zibo, China","institution_ids":["https://openalex.org/I119203015"]},{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001996145","display_name":"Fei Dai","orcid":"https://orcid.org/0000-0001-6469-357X"},"institutions":[{"id":"https://openalex.org/I25399270","display_name":"Southwest Forestry University","ror":"https://ror.org/03dfa9f06","country_code":"CN","type":"education","lineage":["https://openalex.org/I25399270"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fei Dai","raw_affiliation_strings":["School of Big Data and Intelligent Engineering, Southwest Forestry University, Kunming, China"],"affiliations":[{"raw_affiliation_string":"School of Big Data and Intelligent Engineering, Southwest Forestry University, Kunming, China","institution_ids":["https://openalex.org/I25399270"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5005118232"],"corresponding_institution_ids":["https://openalex.org/I189210763"],"apc_list":null,"apc_paid":null,"fwci":1.3979,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.82774978,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"54","issue":"2","first_page":"800","last_page":"812"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9883000254631042,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9883000254631042,"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"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9758999943733215,"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/T11357","display_name":"Risk and Safety Analysis","score":0.970300018787384,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.9699458479881287},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7418110370635986},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7026926279067993},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6255542635917664},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.6184231042861938},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6128381490707397},{"id":"https://openalex.org/keywords/emergency-response","display_name":"Emergency response","score":0.4421711564064026},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3973696231842041},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3398796021938324},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.3328118920326233},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32502514123916626},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21733719110488892},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1806311011314392},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.137847900390625},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.08414408564567566},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.0656539797782898},{"id":"https://openalex.org/keywords/medical-emergency","display_name":"Medical emergency","score":0.06410422921180725}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9699458479881287},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7418110370635986},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7026926279067993},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6255542635917664},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.6184231042861938},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6128381490707397},{"id":"https://openalex.org/C3017997152","wikidata":"https://www.wikidata.org/wiki/Q814610","display_name":"Emergency response","level":2,"score":0.4421711564064026},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3973696231842041},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3398796021938324},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.3328118920326233},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32502514123916626},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21733719110488892},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1806311011314392},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.137847900390625},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.08414408564567566},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0656539797782898},{"id":"https://openalex.org/C545542383","wikidata":"https://www.wikidata.org/wiki/Q2751242","display_name":"Medical emergency","level":1,"score":0.06410422921180725},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2023.3321060","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2023.3321060","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.49000000953674316,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[{"id":"https://openalex.org/G7346047188","display_name":null,"funder_award_id":"62262063","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W63426896","https://openalex.org/W1981296835","https://openalex.org/W1987350303","https://openalex.org/W1996109622","https://openalex.org/W2002760242","https://openalex.org/W2007561241","https://openalex.org/W2016300863","https://openalex.org/W2027877746","https://openalex.org/W2055617940","https://openalex.org/W2060728121","https://openalex.org/W2067741328","https://openalex.org/W2074266025","https://openalex.org/W2085752404","https://openalex.org/W2102439171","https://openalex.org/W2113280469","https://openalex.org/W2127300475","https://openalex.org/W2129466958","https://openalex.org/W2130310612","https://openalex.org/W2136595450","https://openalex.org/W2143811838","https://openalex.org/W2144344516","https://openalex.org/W2146826840","https://openalex.org/W2162868766","https://openalex.org/W2176914953","https://openalex.org/W2220647508","https://openalex.org/W2311040138","https://openalex.org/W2344188727","https://openalex.org/W2503470518","https://openalex.org/W2515263588","https://openalex.org/W2515300282","https://openalex.org/W2530196882","https://openalex.org/W2611829796","https://openalex.org/W2753693129","https://openalex.org/W2795633027","https://openalex.org/W2804727834","https://openalex.org/W2806528198","https://openalex.org/W2892268670","https://openalex.org/W2905882642","https://openalex.org/W2913545390","https://openalex.org/W2943710525","https://openalex.org/W2996448588","https://openalex.org/W2997330796","https://openalex.org/W3119317724","https://openalex.org/W3173582346","https://openalex.org/W4229449776","https://openalex.org/W4249374293","https://openalex.org/W4297666129","https://openalex.org/W4309725909","https://openalex.org/W6630578593","https://openalex.org/W6843386584"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W3119814709","https://openalex.org/W2018477250","https://openalex.org/W1508895727","https://openalex.org/W4241418540","https://openalex.org/W4234803302","https://openalex.org/W2081623927"],"abstract_inverted_index":{"When":[0],"an":[1,40,88,180],"emergency":[2,27],"occurs,":[3],"disposal":[4,21],"needs":[5,44],"to":[6,9,45,87,97,121],"be":[7,46,172],"built":[8],"reduce":[10],"the":[11,20,81,94,99,124,133,136,140,143,153,159,165,168,185,192],"risk":[12],"imposed":[13],"on":[14,179],"life,":[15],"property,":[16],"and":[17,92,147,184,199],"environment.":[18],"Generally,":[19],"is":[22,39,155,177],"organized":[23],"as":[24,111,113],"a":[25,57,65,73,115],"cross-organization":[26],"response":[28,34],"process":[29,90],"(CERP).":[30],"To":[31],"achieve":[32],"better-emergency":[33],"services,":[35],"its":[36],"correctness":[37,59,101,134],"analysis":[38,60,118],"important":[41],"task":[42],"that":[43,170,189],"dealt":[47],"with":[48],"at":[49],"design":[50],"time.":[51],"In":[52],"this":[53,67],"article,":[54],"we":[55],"propose":[56],"novel":[58],"approach":[61,68,176],"for":[62],"CERPs.":[63],"Given":[64],"CERP,":[66],"first":[69],"decomposes":[70],"it":[71,79,127,131,157,190],"into":[72],"set":[74,96],"of":[75,102,135,142,167,197],"instance":[76,83,105,145,150,161],"nets.":[77,151],"Then,":[78],"excludes":[80],"invalid":[82],"nets":[84,146],"(each":[85],"corresponds":[86],"incomplete":[89],"instance)":[91],"adopts":[93],"stubborn":[95],"check":[98],"structural":[100],"each":[103],"valid":[104,149],"net":[106],"without":[107],"considering":[108],"resource":[109,117],"factors,":[110],"well":[112],"introduces":[114],"structure-based":[116],"(SRA)":[119],"method":[120],"determine":[122],"whether":[123],"resources":[125],"in":[126,195],"are":[128],"sufficient.":[129],"Finally,":[130],"determines":[132],"CERP":[137,154,169],"by":[138],"comparing":[139],"numbers":[141],"correct":[144,160],"all":[148],"If":[152],"incorrect,":[156],"returns":[158],"nets,":[162],"which":[163],"capture":[164],"parts":[166],"can":[171],"executed":[173],"correctly.":[174],"This":[175],"evaluated":[178],"actual":[181],"data":[182],"set,":[183],"comparison":[186],"results":[187],"show":[188],"outperforms":[191],"state-of-the-art":[193],"technique":[194],"terms":[196],"effectiveness":[198],"efficiency.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}