To research, discover, and apply methods of system analysis and control for modeling the Panama Canal using the Labeled Transition System Analyzer Tool.