|
Lecturer(s)
|
-
Kavička Antonín, prof. Ing. Ph.D.
|
|
Course content
|
The content of the course is focused mainly on the formalism of coloured Petri nets (hierarchical and non-hierarchical), which is suitable for the construction of models reflecting generalized technological processes. Such models can be properly analyzed, verified and are also ready for the realizations of relevant simulation experiments (reflecting particular input conditions).
|
|
Learning activities and teaching methods
|
|
Monologic (reading, lecture, briefing), Dialogic (discussion, interview, brainstorming), Skills training
|
|
Learning outcomes
|
The main goal of the course is to familiarize students with the concepts and approaches, which are applicable to modelling and discrete simulation of operational technological processes.
Passing the course supports the skills related to analysis, design and verification of technological processes.
|
|
Prerequisites
|
There is expected an intermediate knowledge from the field of modelling and simulation (simulation as an experimental method, architectures and techniques of simulation models, simulation study life cycle, applied mathematical statistics).
|
|
Assessment methods and criteria
|
Oral examination, Written examination, Home assignment evaluation
The examination is focused on the theoretical principles related to modelling and simulation of technological processes. In addition, it is required to build a real simulation model reflecting technological processes within the frame of selected application domain.
|
|
Recommended literature
|
-
BANKS, J. Handbook of simulation & Sons. New York, John Wiley, 1998..
-
JENSEN, K. Coloured Petri nets. Berlin, Springer-Verlag, 1996..
-
ZEIGLER, B. P. a kol. Theory of modeling and simulation. New York, Academic Press, 2000..
|