A Process Algebra Genetic Algorithm

Checking a Mutex Algorithm in a Process Algebra with Fairness

In earlier work, we have shown that two variants of weak fairness can be expressed comparatively easily in the timed process algebra PAFAS. To demonstrate the usefulness of these results, we complement work by Walker [11] and study the liveness property of Dekker’s mutual exclusion algorithm within our process algebraic setting. We also present some results that allow to reduce the state space ...

Process Plan Optimization using a Genetic Algorithm

In this paper we present our ongoing research project GAPO (Genetic Algorithm Process Optimization) that focuses on the development of an optimization module for process plans. GAPO is part of a 4D-Toolbox that conflates different modules for the 4D planning of construction projects. Among other modules, the 4D-Toolbox consists of a DES (Discrete Event Simulator) that automatically sequences ac...

Monitoring process variability: a hybrid Taguchi loss and multiobjective genetic algorithm approach

The common consideration on economic model is that there is knowledge about the risk of occurrence of an assignable cause and the various cost parameters that does not always adequately describe what happens in practice. Hence, there is a need for more realistic assumptions to be incorporated. In order to reduce cost penalties for not knowing the true values of some parameters, this paper aims ...

Probabilistic Process Algebra Probabilistic Process Algebra

Staff Scheduling by a Genetic Algorithm

This paper describes a Genetic Algorithms approach to amanpower-scheduling problem arising at a Petrochemical Company. AlthoughGenetic Algorithms have been successfully used for similar problemsin the past, they always had to overcome the limitations of theclassical Genetic Algorithms paradigm in handling the conflict betweenobjectives and constraints. The approach taken here is to use an indir...