Evaluating the Availability of Service Function Chain under Different Elasticity Strategies Based on Colored Petri Net | IEEE Conference Publication | IEEE Xplore