Priced Timed Petri Nets Based Resource Allocation Strategy for Fog Computing | IEEE Conference Publication | IEEE Xplore