Industrial control software teaching at the department of ACS FEI STU. - Jana Flochová; Dusan Mudroncík (ECC, 2003)

A Petri net based supervisory control implementation. - Jana Flochova (SMC, 2003)

Modular adaptive approaches in DES failure diagnosis and control. - Jana Flochova; Pavol Kolttrik; Peter Drozd (SMC (2), 2004)

On Probabilistic Diagnosis for Free-Choice Petri Nets. - Jana Flochova; René K. Boel; George Jiroveanu (ACC, 2007)

On industrial techniques and information technology control classrooms. - Jana Flochova; Leo Mrafko; Dusan Mudroncik; Filip Auxt (CDC, 2007)

Model based implementation of supervisors and diagnosers in VHDL code of programmable systems. - Jana Flochova; Jakub Holly; Michal Zapaticky; Ján Pivarcek (EUROCON, 2011)

Timed Automaton and Petri Net models of Intersection Control. - Jana Flochová; Ján Pivarcek; Peter Kubanda (CoDIT, 2020)

Tool for Diagnosis of Stochastic Automata. - Stefan Kristofík; Jana Flochová (EBCCSP, 2020)