Connections Between Systems and Processes
- 43 Downloads
Having defined the processes of a system net via the process definition 3.3.3, or (as we know: equivalently for system nets of finite synchronisation) via the construction given in Definition 3.4.1, it is now possible to translate properties from a system to the set of its processes and vice versa. It is possible to ask, for example, what it would mean for a system that all of its processes enjoy some interesting property, or conversely.
Unable to display preview. Download preview PDF.