Design of river system deadlock avoidance supervisor by using Petri net - Kezić, Danko (Array, 2010)