Petri net modeling dynamic context of container for risk management

Safety and security has been an increasing concern in container shipping over the past few decades. Risks are generally categorized by three major risk categories, namely, risks associated with information flow, risks associated with physical flow, and risks associated with payment flow. In this paper we use Le Havre port as a case study aiming to provide some insight into the management of safety and security in a wider maritime contest. Representing Le Havre port, an ambient System is a network of tools and equipment that interacts to fulfill someone needs. This equipment should respect the context in which they act. In order to fulfill their functions, we need to specify the dynamic contexts of containers and system which help us to formally model the changes of containers contexts who act to risk management in a container terminal.