Enterprise SIM profile provisioning solution is currently in development by some big players in the telecommunication industry. This solution may support an enterprise user staying anonymous to mobile network operators when remotely subscribing to SIM profiles. Another advantage refers to providing a seamless solution to enterprises where they can handle subscriptions of their employees. However, the solution is still in an early stage of production, and it is of utmost importance to proactively detect threats and deviant behaviors. The focus of this master thesis is providing a part towards achieving a secure solution by gaining insight and understanding of the system behavior. Colored Petri Nets technique is applied to the process and provides deterministic insights on system behavior. The solution of enterprise remote SIM profile provisioning is analyzed from different reachability goals by performing multiple simulations of different cases. Simulations are performed using different conditions and provide an understanding of system behavior with not fulfilled conditions. Essential aspects of this work can be in consideration when developing the solution to not end up in a state where a user receives a bad SIM profile or exposes the system to other threats.