Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics