Automatic supervisory system synthesis for port cranes collision prevention by using Petri net - Kezić, Danko (Array, 2006)