Colored Petri Net Reusing for Service Function Chaining Validation. - Zhenyu Liu; Xuanyu Lou; Yajun Cui; Yingdong Zhao; Hua Li (COMPSAC, 2022)