ABSTRACT
Our approach to modeling scheduled systems is depicted in Figure 10.1. In this approach, process specification (including aspects such as causal relations of actions, their timing and resource requirements) is separated from the specification of schedulers. Then one can apply schedulers to processes to obtain scheduled systems
FIGURE 10.1: Schematic view of the PARS approach.