Johnson, JohnTo research, discover, and apply methods of system analysis and control for modeling the Panama Canal using the Labeled Transition System Analyzer Tool.enLabeled Transition System AnalyzerLTSAmodelingproject managementLTSA Modeling of the Panama CanalTechnical Report