|
Abstract : |
Abstract. Synchronisation and concurrency aspects as well as sharing of resources are common features of distributed systems. Modelling the last aspect, especially the scheduling strategy amongst competing jobs, can be extremely hard using (Coloured) Generalized Stochastic Petri nets (CGSPNs). Queueing Petri nets (QPNs) provide additional elements for a convenient specification of such queueing situations. QPNs can be used for qualitative analysis employing efficient techniques from Petri net theory, and performance analysis (quantitative analysis) exploiting Markovian analysis algorithms. QPN-Tool supports both forms of analysis and offers a convenient graphical interface enabling also unexperienced users to specify and analyse their system using the QPN model world. 1, |
