Mini-quiz COMP 522 Modelling and Simulation

Material can be found on the course website.

Questions:

1. Hierarchy of System Specification (2008, second quiz)
   
   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 (not 2008)
   
   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 (2008, first quiz)
   
   The formalism, and in particular, closure of DEVS under coupling. including the simulator algorithm.

   Example question: describe how to obtain the internal transition function of the "flattened" version of a coupled DEVS.