# The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

## TL;DR

This paper demonstrates the benefits of multiway rendezvous synchronization in modeling complex process interactions, using a real-world production cell benchmark and a compositional controller implemented in LNT and LOTOS.

## Contribution

It introduces a novel application of multiway rendezvous to a real industrial benchmark and develops a compositional controller leveraging this paradigm.

## Key findings

- Enhanced synchronization modeling with multiway rendezvous
- Successful implementation of a compositional controller in LNT and LOTOS
- Improved clarity and modularity in process control models

## Abstract

The multiway rendezvous introduced in Theoretical CSP is a powerful paradigm to achieve synchronization and communication among a group of (possibly more than two) processes. We illustrate the advantages of this paradigm on the production cell benchmark, a model of a real metal processing plant, for which we propose a compositional software controller, which is written in LNT and LOTOS, and makes intensive use of the multiway rendezvous.