APC Semantics for Petri Nets. - Slavomír Simonák; Stefan Hudák; Stefan Korecko (Informatica (Slovenia), 2008)

Verification of Systems: Deadlock Analysis Based on Petri Nets. - Stefan Hudák (ICTERI, 2012)

General composition for high level Petri nets and its properties. - Ivan Petko; Stefan Hudák (Central Eur. J. Comput. Sci., 2012)