Institute of Informatics
Topic
Modelling and Control of Discrete-Event Systems by Means of Petri Nets
PhD. program
Informatics / Robotics and Cybernetics
Name of the supervisor
Doc. Ing. František Čapkovič, CSc.
Contact:
Receiving school
Faculty of Electrical Engineering and Informatics, Technical Uni of Košice (FEI TUKE)
Annotation
Receiving school (another possibility):
Faculty of Electrical Engineering and Information Technology of STU in Bratislava (program: Robotics and Cybernetics)
Discrete-event systems (DES) are discrete in nature. A DES system remains in its current state until it is forced to change it due to the occurrence of a discrete event. Many types of systems in social practice have a character of DES - e.g. Flexible Manufacturing Systems (FMS), robotized cells, discrete production lines, some types of transport systems, communication systems, etc. Petri nets (PN) of different species are an appropriate tool for the mathematical modelling of DES. They also make it possible to synthesize the control of DES - i.e. the synthesis of supervisors. The purpose of this assignment is to design the method for the supervisor synthesis by analysing the structure of the PN model by means of siphons and traps in order to eliminate deadlocks.
more info
year 2022/2023
Faculty of Electrical Engineering and Information Technology of STU in Bratislava (program: Robotics and Cybernetics)
Discrete-event systems (DES) are discrete in nature. A DES system remains in its current state until it is forced to change it due to the occurrence of a discrete event. Many types of systems in social practice have a character of DES - e.g. Flexible Manufacturing Systems (FMS), robotized cells, discrete production lines, some types of transport systems, communication systems, etc. Petri nets (PN) of different species are an appropriate tool for the mathematical modelling of DES. They also make it possible to synthesize the control of DES - i.e. the synthesis of supervisors. The purpose of this assignment is to design the method for the supervisor synthesis by analysing the structure of the PN model by means of siphons and traps in order to eliminate deadlocks.
more info
year 2022/2023