loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
28th Hawaii International Conference on System Sciences (HICSS'95)
Hawaii, USA
January 04-January 07
ISBN: 0-8186-6935-7
ASCII Text
x 
 
C.I. Birkinshaw, P.R. Croll, "Modelling the client-server behaviour of parallel real-time systems using Petri nets," Hawaii International Conference on System Sciences, pp. 339, 28th Hawaii International Conference on System Sciences (HICSS'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/HICSS.1995.375444,
author = {C.I. Birkinshaw and P.R. Croll},
title = {Modelling the client-server behaviour of parallel real-time systems using Petri nets},
journal ={Hawaii International Conference on System Sciences},
volume = {0},
year = {1995},
issn = {1060-3425},
pages = {339},
doi = {http://doi.ieeecomputersociety.org/10.1109/HICSS.1995.375444},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Hawaii International Conference on System Sciences
TI - Modelling the client-server behaviour of parallel real-time systems using Petri nets
SN - 1060-3425
SP
EP
A1 - C.I. Birkinshaw,
A1 - P.R. Croll,
PY - 1995
KW - client-server systems; real-time systems; parallel machines; Petri nets; parallel programming; computational complexity; client-server behaviour modelling; parallel real-time systems; Petri nets; timeliness; hard real-time system; communication behaviour; communication structure; potential livelock; deadlock; client-server behaviour graph; state explosion problem
VL - 0
JA - Hawaii International Conference on System Sciences
ER -
 
C.I. Birkinshaw, Dept. of Comput. Sci., Sheffield Univ., UK
P.R. Croll, Dept. of Comput. Sci., Sheffield Univ., UK
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.
Index Terms:
client-server systems; real-time systems; parallel machines; Petri nets; parallel programming; computational complexity; client-server behaviour modelling; parallel real-time systems; Petri nets; timeliness; hard real-time system; communication behaviour; communication structure; potential livelock; deadlock; client-server behaviour graph; state explosion problem
Citation:
C.I. Birkinshaw, P.R. Croll, "Modelling the client-server behaviour of parallel real-time systems using Petri nets," hicss, pp.339, 28th Hawaii International Conference on System Sciences (HICSS'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.