{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:43:49Z","timestamp":1760057029925,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","funder":[{"name":"National Natural Science Foundation of China award number(s): 62262047,61862047"},{"name":"Inner Mongolia Science and Technology Program award number(s): 201802028,2020GG0186"},{"name":"Inner Mongolia Key Research and Development and Achievement Transformation Project award number(s): 2025YFHH0101"},{"name":"the fund of Supporting the Reform and Development of Local Univesities (Disci-plinary Construction) and the special research project of First-class Discipline of Inner Mongolia A. R. of China award number(s): YLXKZX-ND-036"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1145\/3750022.3750461","type":"proceedings-article","created":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T13:46:39Z","timestamp":1755611199000},"page":"31-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Evaluation of Elastic SFC Based on HCPN"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9784-3398","authenticated-orcid":false,"given":"Rulin","family":"Zhang","sequence":"first","affiliation":[{"name":"Inner Mongolia University, Hohhot, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-8206-0265","authenticated-orcid":false,"given":"Hui","family":"Dong","sequence":"additional","affiliation":[{"name":"Inner Mongolia University, Hohhot, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1332-6163","authenticated-orcid":false,"given":"Ju","family":"Zhang","sequence":"additional","affiliation":[{"name":"Inner Mongolia University, Hohhot, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-5898-8186","authenticated-orcid":false,"given":"Hua","family":"Li","sequence":"additional","affiliation":[{"name":"Inner Mongolia University, Hohhot, China"}]}],"member":"320","published-online":{"date-parts":[[2025,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.02.052"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2021.107289"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCNC45663.2020.9120693"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3154"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604845"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIN53892.2022.9758134"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS60937.2023.00078"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Kurt Jensen and Lars Michael Kristensen. 2009. In Coloured Petri Nets: Modelling and Validation of Concurrent Systems. https:\/\/api.semanticscholar.org\/CorpusID:2224013","DOI":"10.1007\/b95112"},{"key":"e_1_3_2_1_9_1","volume-title":"Integrated Construction of Service Function Chain and Business System Based on Colored Petri Net. 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","author":"Ai Yintan","year":"2022","unstructured":"Yintan Ai, Yajun Cui, Zhenyu Liu, Xiaomin Zhang, Hua Li, and Xianrong Wang. 2022. Integrated Construction of Service Function Chain and Business System Based on Colored Petri Net. 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) (2022), 56--61. https:\/\/api.semanticscholar.org\/CorpusID:251473025"},{"key":"e_1_3_2_1_10_1","volume-title":"Colored Petri Net Reusing for Service Function Chaining Validation. 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","author":"Liu Zhenyu","year":"2022","unstructured":"Zhenyu Liu, Xuanyu Lou, Yajun Cui, Ying Zhao, and Hua Li. 2022. Colored Petri Net Reusing for Service Function Chaining Validation. 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) (2022), 1531--1535. https:\/\/api.semanticscholar.org\/CorpusID:251473692"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2019.2955486"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"Jan Medved Robert Varga Anton Tkacik and Ken Gray. 2014. OpenDaylight: Towards a Model-Driven SDN Controller architecture. 1--6. doi:10.1109\/WoWMoM.2014.6918985","DOI":"10.1109\/WoWMoM.2014.6918985"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"Zuo Xiang and Patrick Seeling. 2020. Chapter 11 - Mininet: an instant virtual network on your computer. In Computing in Communication Networks Frank H.P. Fitzek Fabrizio Granelli and Patrick Seeling (Eds.). Academic Press 219--230. doi:10.1016\/B978-0-12-820488-7.00025-6","DOI":"10.1016\/B978-0-12-820488-7.00025-6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2018.2867587"}],"event":{"name":"SIGCOMM '25: ACM SIGCOMM 2025 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Coimbra Portugal","acronym":"SIGCOMM '25"},"container-title":["Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3750022.3750461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T14:12:09Z","timestamp":1760019129000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3750022.3750461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":14,"alternative-id":["10.1145\/3750022.3750461","10.1145\/3750022"],"URL":"https:\/\/doi.org\/10.1145\/3750022.3750461","relation":{},"subject":[],"published":{"date-parts":[[2025,9,8]]},"assertion":[{"value":"2025-09-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}