乐胖代购免代理版

{"id":"https://openalex.org/W4390970249","doi":"https://doi.org/10.1109/tcad.2024.3355708","title":"A Verification Framework for Time-triggered Networks Based on Timed Colored Petri Net","display_name":"A Verification Framework for Time-triggered Networks Based on Timed Colored Petri Net","publication_year":2024,"publication_date":"2024-01-18","ids":{"openalex":"https://openalex.org/W4390970249","doi":"https://doi.org/10.1109/tcad.2024.3355708"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3355708","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5028820002","display_name":"Wenjie Zhong","orcid":"https://orcid.org/0000-0002-2508-2108"},"institutions":[{"id":"https://openalex.org/I2722730","display_name":"Inner Mongolia University","ror":"https://ror.org/0106qb496","country_code":"CN","type":"funder","lineage":["https://openalex.org/I2722730"]},{"id":"https://openalex.org/I4210144487","display_name":"Cloud Computing Center","ror":"https://ror.org/04aa0zm65","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210144487"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenjie Zhong","raw_affiliation_strings":["College of Computer Science, Inner Mongolia University, Hohhot, China","College of Computer Science, the National and Local Joint Engineering Research Center of Intelligent Information Processing Technology for Mongolian, the Engineering Research Center of Ecological Big Data, the Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, the Inner Mongolia Key Laboratory of Social Computing and Data Processing, and the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Inner Mongolia University, Hohhot, China","Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Hohhot, China","Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, China","Inner Mongolia Key Laboratory of Social Computing and Data Processing, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science, the National and Local Joint Engineering Research Center of Intelligent Information Processing Technology for Mongolian, the Engineering Research Center of Ecological Big Data, the Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, the Inner Mongolia Key Laboratory of Social Computing and Data Processing, and the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Inner Mongolia University, Hohhot, China","institution_ids":["https://openalex.org/I2722730"]},{"raw_affiliation_string":"College of Computer Science, Inner Mongolia University, Hohhot, China","institution_ids":["https://openalex.org/I2722730"]},{"raw_affiliation_string":"Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Hohhot, China","institution_ids":[]},{"raw_affiliation_string":"Inner Mongolia Key Laboratory of Social Computing and Data Processing, China","institution_ids":[]},{"raw_affiliation_string":"Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, China","institution_ids":["https://openalex.org/I4210144487"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100652826","display_name":"Jiantao Zhou","orcid":"https://orcid.org/0000-0002-7066-9282"},"institutions":[{"id":"https://openalex.org/I4210144487","display_name":"Cloud Computing Center","ror":"https://ror.org/04aa0zm65","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210144487"]},{"id":"https://openalex.org/I2722730","display_name":"Inner Mongolia University","ror":"https://ror.org/0106qb496","country_code":"CN","type":"funder","lineage":["https://openalex.org/I2722730"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian-tao Zhou","raw_affiliation_strings":["College of Computer Science, Inner Mongolia University, Hohhot, China","College of Computer Science, the National and Local Joint Engineering Research Center of Intelligent Information Processing Technology for Mongolian, the Engineering Research Center of Ecological Big Data, the Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, the Inner Mongolia Key Laboratory of Social Computing and Data Processing, and the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Inner Mongolia University, Hohhot, China","Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Hohhot, China","Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, China","Inner Mongolia Key Laboratory of Social Computing and Data Processing, China"],"affiliations":[{"raw_affiliation_string":"Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Hohhot, China","institution_ids":[]},{"raw_affiliation_string":"Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, China","institution_ids":["https://openalex.org/I4210144487"]},{"raw_affiliation_string":"College of Computer Science, the National and Local Joint Engineering Research Center of Intelligent Information Processing Technology for Mongolian, the Engineering Research Center of Ecological Big Data, the Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, the Inner Mongolia Key Laboratory of Social Computing and Data Processing, and the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Inner Mongolia University, Hohhot, China","institution_ids":["https://openalex.org/I2722730"]},{"raw_affiliation_string":"Inner Mongolia Key Laboratory of Social Computing and Data Processing, China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science, Inner Mongolia University, Hohhot, China","institution_ids":["https://openalex.org/I2722730"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101492561","display_name":"Tao Sun","orcid":"https://orcid.org/0000-0003-2609-2153"},"institutions":[{"id":"https://openalex.org/I2722730","display_name":"Inner Mongolia University","ror":"https://ror.org/0106qb496","country_code":"CN","type":"funder","lineage":["https://openalex.org/I2722730"]},{"id":"https://openalex.org/I4210144487","display_name":"Cloud Computing Center","ror":"https://ror.org/04aa0zm65","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210144487"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Sun","raw_affiliation_strings":["College of Computer Science, Inner Mongolia University, Hohhot, China","College of Computer Science, the National and Local Joint Engineering Research Center of Intelligent Information Processing Technology for Mongolian, the Engineering Research Center of Ecological Big Data, the Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, the Inner Mongolia Key Laboratory of Social Computing and Data Processing, and the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Inner Mongolia University, Hohhot, China","Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Hohhot, China","Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, China","Inner Mongolia Key Laboratory of Social Computing and Data Processing, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science, the National and Local Joint Engineering Research Center of Intelligent Information Processing Technology for Mongolian, the Engineering Research Center of Ecological Big Data, the Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, the Inner Mongolia Key Laboratory of Social Computing and Data Processing, and the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Inner Mongolia University, Hohhot, China","institution_ids":["https://openalex.org/I2722730"]},{"raw_affiliation_string":"Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Hohhot, China","institution_ids":[]},{"raw_affiliation_string":"Inner Mongolia Key Laboratory of Social Computing and Data Processing, China","institution_ids":[]},{"raw_affiliation_string":"Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, China","institution_ids":["https://openalex.org/I4210144487"]},{"raw_affiliation_string":"College of Computer Science, Inner Mongolia University, Hohhot, China","institution_ids":["https://openalex.org/I2722730"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082437433","display_name":"Xiaoyu Song","orcid":"https://orcid.org/0000-0002-6583-9400"},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"funder","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaoyu Song","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Portland State University, Portland, OR, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Portland State University, Portland, OR, USA","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015545142","display_name":"Zonghui Li","orcid":"https://orcid.org/0000-0002-0772-1738"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"funder","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zonghui Li","raw_affiliation_strings":["School of Computer and Information Technology, Beijing Key Laboratory of Transportation Data Analysis and Mining, Beijing Jiaotong University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Information Technology, Beijing Key Laboratory of Transportation Data Analysis and Mining, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.199,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.763718,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":78,"max":88},"biblio":{"volume":"43","issue":"7","first_page":"2112","last_page":"2125"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9971,"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.9971,"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/T12216","display_name":"Network Time Synchronization Technologies","score":0.9944,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9736,"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/liveness","display_name":"Liveness","score":0.9194899},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.42668104}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9194899},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9161737},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8465117},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.65238523},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.6354794},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.59805685},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5018685},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.42668104},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28673455},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15625182},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3355708","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.65,"display_name":"Industry, innovation and infrastructure"}],"grants":[{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"62162046"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"62062052"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"62002013"},{"funder":"https://openalex.org/F4320322868","funder_display_name":"Natural Science Foundation of Inner Mongolia","award_id":"2019GG372"}],"datasets":[],"versions":[],"referenced_works_count":34,"referenced_works":["https://openalex.org/W12987066","https://openalex.org/W1533857661","https://openalex.org/W2011457249","https://openalex.org/W2120683664","https://openalex.org/W2122948231","https://openalex.org/W2146528429","https://openalex.org/W2148910473","https://openalex.org/W2161411218","https://openalex.org/W2307359781","https://openalex.org/W2331642845","https://openalex.org/W2344188727","https://openalex.org/W2563190840","https://openalex.org/W2766447646","https://openalex.org/W2883944310","https://openalex.org/W2924068334","https://openalex.org/W2942049119","https://openalex.org/W2942645844","https://openalex.org/W2943944650","https://openalex.org/W2955847599","https://openalex.org/W2961618073","https://openalex.org/W2978208256","https://openalex.org/W2979041243","https://openalex.org/W2981971579","https://openalex.org/W3013257047","https://openalex.org/W3111807934","https://openalex.org/W3120935691","https://openalex.org/W3130633014","https://openalex.org/W3182480953","https://openalex.org/W4225747963","https://openalex.org/W4247376945","https://openalex.org/W4249484115","https://openalex.org/W4285287157","https://openalex.org/W4377079813","https://openalex.org/W4386765070"],"related_works":["https://openalex.org/W4312626387","https://openalex.org/W2382668819","https://openalex.org/W2353505923","https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W2062463517","https://openalex.org/W1980200158","https://openalex.org/W1651168384","https://openalex.org/W1531156418","https://openalex.org/W1500907979"],"abstract_inverted_index":{"Time-triggered":[0],"(TT)":[1],"network":[2,40],"provides":[3],"a":[4,34,80,108],"low-cost":[5],"service":[6],"to":[7,71],"meet":[8],"the":[9,38,56,62,86,97,100,105,113,120,126,130,134,145],"strong":[10],"demand":[11],"of":[12,58,69,129],"modern":[13],"industry":[14],"networks":[15],"for":[16,28,37,55],"real-time":[17],"communication.":[18],"Both":[19],"simulation":[20],"and":[21,73,93,116],"reachability":[22,101,117],"analysis":[23,118],"provide":[24],"effective":[25],"research":[26],"methods":[27],"TT":[29,39,63],"networks.":[30],"This":[31],"paper":[32],"presents":[33],"verification":[35],"framework":[36],"based":[41],"on":[42],"Timed":[43],"Colored":[44],"Petri":[45],"Nets":[46],"(TCPN).":[47],"We":[48,65,95,103],"propose":[49],"an":[50],"automatic":[51,139],"formal":[52],"modeling":[53,140],"method":[54,141],"behavior":[57],"message":[59,76,114],"transmissions":[60],"in":[61,119,133],"network.":[64],"harness":[66],"timed":[67],"multisets":[68],"TCPN":[70],"model":[72],"analyze":[74,125],"time-triggered":[75],"transmission":[77,115],"latencies.":[78],"For":[79],"holistic":[81],"system":[82,88],"evaluation,":[83],"we":[84,124],"characterize":[85],"critical":[87],"properties":[89,98],"such":[90],"as":[91],"boundedness":[92],"liveness.":[94],"substantiate":[96],"by":[99,111],"analysis.":[102],"demonstrate":[104],"effectiveness":[106],"through":[107],"case":[109],"study":[110],"simulating":[112],"state":[121,131,146],"space.":[122],"Finally,":[123],"influencing":[127],"factors":[128],"space":[132,147],"automotive":[135],"scenario.":[136],"The":[137],"proposed":[138],"can":[142],"effectively":[143],"reduce":[144],"scale.":[148]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4390970249","counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-04-12T06:05:21.544555","created_date":"2024-01-19"}