Concurrency in Functional Descriptions

Functional descriptions are used to specify digital systems in the design method showed in /1, 2, 3/. They are formulated in a language called RNL /4, 5/. To obtain the control structure and the topology of the data structure of the specified digital system, functional descriptions are converted into an intermediate model, a net, by the algorithms given in /3/. The intention of this paper is to show how concurrency is defined and how it is introduced into a functional description. It is investigated, in which way different, equivalent degrees of concurrency can be derived and maximized, and how the notion of maximal concurrency is influenced by the restrictions imposed on the functional descriptions.