|
Lecturer(s)
|
-
Brandejský Tomáš, doc. Ing. Dr.
|
|
Course content
|
Theoretical principles of coloured Petri nets - CPN (extending the modelling capabilities of the finite state automata) are introduced. The methodologies of applying CPNs for the needs related to simulations reflecting technological processes are presented. The features of CPNs are demonstrated with the help of examples focused on: (i) formalisations of technological procedures connected with operational processes, (ii) specifications of components encapsulated within software systems. The main topics of the course: *Coloured Petri net (CPN) - multisets, places, transitions, arcs, colour sets, transition guards, arc expressions, marking. *Principles of CPN evolutions - evaluations of arc expressions and transition guards, binding of variables, enabling/firing transitions, reachability graph and its analysis, deadlock states, timed CPN (simulations) *Methodologies of building models reflecting operational processes by means of CPN formalism - concurrency, synchronisations, conditional branching, competition for resources, software integrated development environments supporting: (i) constructions, (ii) verifications and (iii) running (simulation) experiments with CPNs.
|
|
Learning activities and teaching methods
|
|
Monologic (reading, lecture, briefing), Methods of individual activities, Laboratory work
|
|
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.
|
|
Prerequisites
|
unspecified
|
|
Assessment methods and criteria
|
Oral examination, Written examination, Home assignment evaluation
The student is supposed to build up a simulating system (applying the formalism of coloured Petri nets) reflecting technological processes from the selected application domain. Then the relevant state space analysis is carried out and the results of simulation experiments are evaluated (software CPNTools can be applied). The student completes at least 3 consultations during the semester concerning the theoretical content of the course. The student will pass at least 1 consultations concerning practical problem.
|
|
Recommended literature
|
-
Banks, J. Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice. New York: John Wiley & Sons, 1998. ISBN 0-471-13403-9.
-
Choi, B.K.; Kang, D. Modeling and simulation of discrete-event systems. 2013. ISBN 978-1118386996.
-
Jensen, K. Coloured Petri Nets: modelling and validation of concurrent systems. 2009. ISBN 978-3-642-00283-0.
|