Análisis y modelamiento del Canal de Panamá a través de las redes de petri

In this paper we model the processes carried out during the transit of vessels through the Panama Canal, focusing on the usage of shared resources such as the locks and other areas that, due to physical limitations of space, can be used only by certain types of vessels. In large size discrete event systems occur very complex situations that can be approached from a formal methodological perspective. Petri Nets are a very powerful paradigm that can be used to model, analyze and synthesize concurrent systems based on discrete events. Our work focuses on the context of systems engineering and the use of formal methods to deal with processes that occur in distributed contexts that, when not properly coordinated, could produce unwanted results. In the case of transport systems, theses consequences can be catastrophic.