Modelling the client-server behaviour of parallel real-time systems using Petri nets

Guaranteeing the timeliness of a parallel hard real-time system, requires knowledge of its communication behaviour. Analysis of the communication structure can identify potential livelock and deadlock in parallel systems. An approach which describes the communications of parallel systems, called a client-server behaviour graph, is given which enables a Petri net model of a complete system to be built in a compositional manner, reducing the state explosion problem in the identification of both deadlocks and livelocks