... lifespan.^2.1

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$ .

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

... Named.^3.1

The macro DEVSpp_EXP can be compiled several different ways according to the set of preprocessor. For compiling dynamic linking library, we should add DLL in the preprocessor definitions. For more information, the reader can refer to Chapter 5.

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

... out'.^4.1

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

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

...Fig:VM2. ^4.2

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++.

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