Charging Model Research of Infrastructure Layer in Cloud Computing Based on Cost-Profit Petri Net | IEEE Conference Publication | IEEE Xplore