Nondeterministic forgetting automata are less powerful than deterministic linear bounded automata Petr Jančar — 1993 Acta Mathematica et Informatica Universitatis Ostraviensis
Decidability questions for some dynamic properties of Petri nets [Abstract of thesis] Petr Jančar — 1989 Commentationes Mathematicae Universitatis Carolinae