Modelling and Analysing Real Time System Speci cations using Time Stream Petri Nets