Encoding CDEVS and PDEVS into Timed Petri Net