Modelling the client-server behaviour of parallel real-time systems using Petri nets | IEEE Conference Publication | IEEE Xplore