This chapter covers the question of how to formulate individual
) of distributed, reactive systems, and what insights into a system such runs can provide.
At first, we will examine the very intuitive term of a
of a system net.
require slightly more effort in understanding, but also describe the behavior more accurately. They form the basis for the concept of
, which is covered in the next chapter.