Maximally permissive supervisor of marine canal traffic system. - F. Danko Kezic; Igor Vujovic; Ivica Kuzmanic (ITSC, 2006)