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.<<ETX>>

[1]  Kurt Jensen.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1994 .

[2]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[3]  Paddy Nixon,et al.  Engineering safety-related parallel systems , 1994, Inf. Softw. Technol..

[4]  Leslie G. Valiant,et al.  A bridging model for parallel computation , 1990, CACM.

[5]  Flaviu Cristian,et al.  Understanding fault-tolerant distributed systems , 1991, CACM.

[6]  A. Burns,et al.  Scheduling hard real-time systems: a review , 1991, Softw. Eng. J..

[7]  Ian Gorton.  Parallel program design using high-level Petri nets , 1993, Concurr. Pract. Exp..

[8]  Inmos Limited,et al.  OCCAM 2 reference manual , 1988 .

[9]  Christophe Sibertin-Blanc.  A Client-Server Protocol for the Composition of Petri Nets , 1993, Application and Theory of Petri Nets.

[10]  A. W. Roscoe,et al.  The Pursuit of Deadlock freedom , 1987, Inf. Comput..

[11]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[12]  Sung Deok Cha,et al.  Safety analysis using coloured Petri nets , 1996, Proceedings 1996 Asia-Pacific Software Engineering Conference.

[13]  Kurt Jensen,et al.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.

[14]  Henk Sol,et al.  Proceedings of the 54th Hawaii International Conference on System Sciences , 1997, HICSS 2015.

[15]  Richard C. Holt,et al.  Some Deadlock Properties of Computer Systems , 1972, CSUR.

[16]  Richard C. Holt,et al.  Some deadlock properties of computer systems , 1971, SOSP '71.

[17]  P. R. Croll,et al.  The safety of occam , 1992 .

[18]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[19]  Peter H. Welch,et al.  Higher-Level Paradigms for Deadlock-Free High-Performance Systems , 1993 .