1. Biztosítóberendezések modellezése Petri-hálókkal. Új EVM-vizsgálóberendezések. Felsôvezetékes szakkollégium