Recent years have seen not only significant theoretical advances in stochastic modelling and associated formalisms but also the increasing availability of high-powered computing facilities in academia and industry alike. The workshop on Practical Applications of Stochastic Modelling (PASM) was created out of a desire to harness these developments by encouraging the application of stochastic modelling formalisms to large-scale real-world systems.
The first PASM workshop was held in the Royal Society, London, in September 2004 and we were very pleased to be able to showcase some excellent examples of how formalisms such as stochastic Petri nets, stochastic process algebras, queueing networks and SANs can be used to tackle realistic and diverse stochastic modelling problems.
The contributions presented here covered examples of practical and topical interest such as peer-to-peer (P2P) file sharing networks, security protocols, electronic voting systems, parallel programming environments and RAID arrays.
It takes a great deal of effort and imagination to tackle the problems inherent in complex systems. We would like to thank everyone who submitted a paper - accepted or not - for taking on this challenge and for helping to contribute to a vibrant workshop. We would also like to thank Joost-Pieter Katoen for an excellent invited presentation on stochastic behaviour of agent negtiation in autonomous wireless devices and Michael Mislove of ENTCS for help and advice in preparing this volume.
Also due recognition are the programme committee who put in a stalwart effort to ensure a high quality refereeing process (every submission received at least four reviews):
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.