Mini-quiz COMP 522 Modelling and Simulation

Material can be found on the course website.

Questions (two out of three will be asked):

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

2. 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 ?

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