First International Workshop on Practical Applications of Stochastic Modelling

PASM'04

Saturday 4th September 2004
Royal Society, London

(Official CONCUR'04 workshop)

Scope of Workshop

We encourage papers which apply current well-developed formalisms (stochastic Petri nets, stochastic process algebras, layered queueing networks, etc) to real-world case-studies. These studies might be of traditional web-service, GRID or computer architectures but also we strongly encourage studies from inter-disciplinary collaborations, such as biological and physical systems.

The common link is to see how researchers from diverse fields have overcome the problem of modelling large concurrent and stochastic communicating systems to obtain the particular style of stochastic metric that is important to their field.

Successful contributions may have demonstrated some novel theoretic advance to model their system or will have been diligent in constructing a detailed and realistic stochastic or probabilistic model and carried the modelling through to the analysis phase. Extra credit will be given for models which are backed up by experiment or simulation.

The aim is to end up with a collection of papers which could be used as outstanding examples of modelling practice in the field of stochastic modelling and exhibit all phases of the modelling lifecycle.


Some suggested topics on which we would encourage submission, are listed below. This is by no means an exhaustive list and any paper in the general area of the conference scope would be warmly welcomed.

  • Case-study analysis using stochastic paradigms and novel analytic variations on those paradigms to enable better practical analysis, e.g.:
    • stochastic process algebras
    • stochastic Petri nets
    • layered queueing networks
    • stochastic automata networks
    • queueing networks
    • fluid stochastic Petri nets
  • Specific interdisciplinary topics that we would be particularly interested to hear from include application of systematic probabilistic or stochastic analysis techniques to, for instance:
    • biological/epidemiological models
    • GRID performance and scalability
    • models of computer virus/worm infection
    • spatial modelling of chemical/nuclear reactions
    • decision making, planning and scheduling
    • geophysical models of large dynamical systems: e.g. weather/ocean systems, lava flows
  • Stochastic and probabilistic models from computing areas such as:
    • web-services
    • distributed and fault-tolerant systems
    • adhoc wireless communication systems
    • embedded systems
    • safety-critical systems
    • computer architecture

Special Issue Details

Electronic paper submission:
submit your SI papers now

As announced on mailing lists, we are currently accepting papers for a special issue of Elsevier's FGCS until 11 July. This is open to extended papers from the original PASM'04 workshop and also to other authors who have similar scope papers that are in a journal-ready condition. All papers will be rerefereed. We suggest a submission length of around 20 pages. Electronic submission of ps and pdf files is now open.

Special Issue Important dates

  • FGCS Journal special issue paper submission deadline (very extended!): 11th July 2005
  • Notification to authors: 21st October 2005
  • Predicted journal publication: Early 2006

Workshop location

PASM'04 was colocated with CONCUR in September 2004 in The Royal Society, 6-9 Carlton House Terrace, London, SW1Y 5AG.

Invited speaker

We were very pleased to have Joost-Pieter Katoen of the Department of Computer Science, University of Twente as our invited speaker for PASM'04. He talked on: MoDeST: From Theory to Industrial Experience

Proceedings Publication

The proceedings of PASM'04 are due to appear soon as an issue of Elsevier's ENTCS (Electronic Notes in Theoretical Computer Science). Authors have already submitted their conference publication CRC to Elsevier. We are now accepting papers for a special issue of FGCS.

Programme Committee

  • Marco Bernardo, IT
  • Jeremy Bradley, UK (co-chair)
  • Mario Bravetti, IT
  • Gianfranco Ciardo, US
  • Tod Courtney, US
  • David Daly, US
  • Dan Deavours, US
  • Tony Field, UK
  • Stephen Gilmore, UK
  • Roberto Gorrieri, IT
  • Boudewijn Haverkort, NL
  • Graham Horton, DE
  • William Knottenbelt, UK (co-chair)
  • Pieter Kritzinger, SA
  • Gethin Norman, UK
  • Mohamed Ould-Khaoua, UK
  • Dave Parker, UK
  • Nigel Thomas, UK

Workshop organisers


Jeremy Bradley and William Knottenbelt
Department of Computing,
Imperial College London,
Huxley Building,
180 Queen's Gate, South Kensington,
London SW7 2BZ, UK

Email: pasm2004@doc.ic.ac.uk
Tel: +44 20 7594 8349
Fax: +44 20 7581 8024

Send comments and questions to Jeremy Bradley Last updated on Sat 15 Jan 2005 at 14:50:53