Branislav Hrúz

Publication Activity (10 Years)

Years Active: 1969-2014
Publications (10 Years): 0

Top Topics

Hierarchical Representation

Formal Verification

Coloured Petri Nets

Top Venues

Publications

Erik Kucera, Branislav Hrúz
Modelling of AS/RS using hierarchical and timed coloured Petri nets. RAAD (2014)
Branislav Hrúz
Solution of the manufacturing transport control using Petri Nets. SMC (2003)
Branislav Hrúz
Prozeßgerechter Entwurf von Monitoren in Echtzeitbetriebssystemen / Process-considering design of real-time operating system monitors. Elektron. Rechenanlagen 26 (1) (1984)
Branislav Hrúz
Unateness Test of a Boolean Function and Two General Synthesis Methods Using Threshold Logic Elements. IEEE Trans. Computers 18 (2) (1969)