Stefan Hudák

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Service Composition

Concurrent Systems

Top Venues

Central Eur. J. Comput. Sci.

Publications

Ivan Petko, Stefan Hudák
General composition for high level Petri nets and its properties. Central Eur. J. Comput. Sci. 2 (3) (2012)
Stefan Hudák
Verification of Systems: Deadlock Analysis Based on Petri Nets. ICTERI (2012)
Slavomír Simonák, Stefan Hudák, Stefan Korecko
APC Semantics for Petri Nets. Informatica (Slovenia) 32 (3) (2008)