Petri Net-Based Reliability Assessment and Migration Optimization Strategy of SFC | IEEE Journals & Magazine | IEEE Xplore