The document details the development and simulation of a mobile surface water filtration system using Coloured Petri Nets (CPN) to analyze its operational logic. It outlines the system's design methodology, sensor and actuator integration, and provides simulation results for various scenarios related to oil detection. The study also indicates potential future enhancements to the model, including time-dependent properties for more dynamic simulations.