Design and performance validation techniques for distributed systems using timed petrinets