Decolourisation of Stochastic Symmetric Nets with Bags. - Michal Zarnay; Manuel Silva (SMC, 2010)

Enhancing banker's algorithm for avoiding deadlocks in systems with non-sequential processes. - Michal Zarnay; Fernando Tricas García (ETFA, 2014)