Towards Efficient Partial Order Techniques for Time Petri Nets