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.chiggate.com/color-charm-12n-1200-high-lift-blonde-1-4oz-online-now/