This paper describes a combination of techniques from control engineering and formal methods in order to specify and implement control systems for hatch process operations. It extends previous work by providing a non-trivial specification for the top-level polling loop of a control system, and defining composition techniques for controllers. Batch process operations are common in industrial pra...

Article history: Received 9 November 2007 Received in revised form 17 March 2008 Accepted 3 April 2008 Available online 6 April 2008

A resource typically executes a particular activity on a series of cases. When a resource performs an activity on several cases simultaneously, (quasi-) sequentially or concurrently, this is referred to as batch processing. Given its influence on process performance, batch processing needs to be taken into account when modeling business processes for performance evaluation purposes. This paper ...

The overhead of processing fine-grain tasks on a grid induces the need for batch processing or task group deployment in order to minimise overall application turnaround time. When deciding the granularity of a batch, the processing requirements of each task should be considered as well as the utilisation constraints of the interconnecting network and the designated resources. However, the dynam...

In this paper, we discuss the “batch processing” problem, where there are multiple jobs to be processed in flow shops. These jobs can however be formed into batches and the number of jobs in a batch is limited by the capacity of the processing machines to accommodate the jobs. The processing time required by a batch in a machine is determined by the greatest processing time of the jobs included...

We consider the problem of on-line scheduling a set of n jobs on two parallel batch processing machines. Each machine can handle an infinite number of jobs as a batch simultaneously. The processing time of a batch is the time required for processing the longest job in the batch. Each job becomes available at its release date, which is not known in advance, and its processing time only becomes k...