Konstruktion eines Systems

$\displaystyle IS_{RTS}$	$\textstyle =$	$\displaystyle \langle E, G, Q, CLCK, Q^{*}, \Pi, CRES \rangle$	(2.39)
$\displaystyle Q$	$\textstyle =$	$\displaystyle \emptyset$	(2.40)
$\displaystyle E$	$\textstyle =$	$\displaystyle {e1, e2, e3}$	(2.41)
$\displaystyle G$	$\textstyle =$	$\displaystyle \{g1, g2, g3\}$	(2.42)
$\displaystyle \Pi$	$\textstyle =$	$\displaystyle \{RM\}$	(2.43)
$\displaystyle CRES$	$\textstyle =$	$\displaystyle \emptyset$	(2.44)
$\displaystyle CLCK$	$\textstyle =$	$\displaystyle \{0\}$	(2.45)
$\displaystyle g1$	$\textstyle =$	$\displaystyle \langle(0, 4, 4, 0, c1, c2, END, c\rangle$	(2.46)
$\displaystyle g2$	$\textstyle =$	$\displaystyle \langle(0, 6, 6, 0, c1, c2, END, e\rangle$	(2.47)
$\displaystyle g3$	$\textstyle =$	$\displaystyle \langle(0, 8, 8, 0, c1, c2, c3, END, g\rangle$	(2.48)