Material can be found on the course website.

Questions (two out of three will be asked):

- Hierarchy of System Specification

p. 1 - 9 (NOT Structured Specifications)The different levels of system specification and their relationship. In particular, the I/O System specification.

Example question: give the mathematical structure of the I/O System specification. Explain briefly the various symbols. Explain the constraint the transition function must satisfy.

Example question: give the mathematical structure of the I/O System specification. Explain briefly the various symbols. Show how an I/O Function can be obtained from this.

- Petri Nets

In particular, the different types of analysis one can do on Petri Net models. Above all, how to construct the Coverability Tree !Example question: for the following Petri Net model (given), build the coverability graph and explain whether the system is Ln live.

Example question: give the algorithm for building a coverability graph (or tree). Explain by means of a small example. What is the difference between a reachability and a coverability graph ?

- DEVS

The formalism, and in particular, closure of DEVS under coupling. NOT the simulator algorithm.Example question: describe how to obtain the internal transition function of the "flattened" version of a coupled DEVS.