Petri Net Modeling of the Reconfigurable Protocol Stack for Cloud Computing Control Systems | IEEE Conference Publication | IEEE Xplore