Price time Petri net is an emerging tool to analyze time and cost attributes of web service process and workflow model.Correspondingly the priced timed automata is a mature tool.We propose a method of state space computing which can compute the state space of a price time Petri net as a priced timed automata.The idea of this method is to add a price attribute in extended state class.Furthermore

we prove that the generated priced timed automata is bisimilar to the initial price time Petri net.