Colored Petri Net Reusing for Service Function Chaining Validation | IEEE Conference Publication | IEEE Xplore