The Box Algebra 2/2: Iteration and Data

In a programming language, recursion and iteration are the main techniques for creating repetitive (and potentially infinite) behaviours. In Chapter 19 , recursion was treated. The first part of this chapter is a continuation and deals with iteration in the framework of the box algebra. In a programming language, variables and data play an important role. The second part of this chapter describes how data aspects can be included in the translation from a process algebra into place/transition Petri nets.