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.lisamalloryphoto.com/product-category/eye-serum/