Reenterable Colored Petri Net Models of Networks, Grids, and Clouds: Case Study for Provider Backbone Bridge | IEEE Conference Publication | IEEE Xplore