Re: [moca] Applications of Process Calculi in Logistics.

[Tom Chothia <tomc@xxxxxxxxxxxxxxxxxxx>]

Hi

On Tue, 13 Jan 2004, Alappatt,Antony wrote:

> Iam currently thinking of developing business applications with process
> calculi as its fundamental.
> Is anybody working on such an approach. Incidently, the domain being planned
> is Logistics. The plan is to use this first in warehouse management.

PEPA (Performance Evaluation Process Algebra) may well be worth a look. It
has a webpage at:

http://www.dcs.ed.ac.uk/pepa/

It differs from most other process algebras by being able to model
performance properties. Something that might be useful when modelling
warehouse management.

A good introduction to this work is:

http://www.dcs.ed.ac.uk/pepa/workcell.ps.gz

which is quite a nice paper that shows how PEPA can be used to
analysis the arrangement of machinery in a factory.

Tom
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html