ICT for Advanced Manufacturing. - Stefan Kozák; Eugen Ruzický; Alena Kozáková; Juraj Stefanovic; Vladimir Kozák (ICEIS (2), 2019)

New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets. - Erik Kucera; Oto Haffner; Peter Drahos; Ján Cigánek; Juraj Stefanovic; Stefan Kozák (Comput. Informatics, 2020)