...\space ^2.1

where $Y^\phi = Y \cup \{ \phi \}, \phi \not \in Y$ is the silent event

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... lifespan.^2.2

In [ZPK00], $\delta_y$ is split into two functions: the output function $\lambda:S \rightarrow Y$ and the internal transition function $\delta_{int}:S \rightarrow S$ .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...Fig:ReferencesOfExPingPong. ^2.3

For more information of adding a reference, you can refer to Chapter 5.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... false^4.1

Actually, there is no difference between return false or true in this example.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... out'.^4.2

We use symbol ? and ! for indicating an input event and an output event, respectively.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...Fig:VM2. ^4.3

we call a state $s$ passive if $\tau(s)=\infty$ or active otherwise ( $0 \le \tau(s) < \infty$ ). In Figure 3.2, the state Idle is passive, the rest states are active.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... entity.^5.1

Flow entities can be clients of a bank, products of a manufacturing system, airplanes of an airport, and messages of a communicating network.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... console.^5.2

The log file ``devspp_log.txt'' collects also the same performance indices. But watch out that the old devspp_log.txt will be over written by the new one every time we execute DEVS# again.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.