Advanced function of the computer-based river traffic management system should automatically predict and prevent possible conflict and deadlock states between vessels by using adequate control policy (supervisor). This paper proposes a formal method for calculating maximally permissive deadlock prevention supervisor. To model the river system. the authors use a class of Petri net suit... https://www.bekindtopets.com/super-find-Hisense-U60-mega-pick/