Modeling and Analysis of Security and Reliability Properties with Petri Nets: A case study on a Customer Management System

Sammanfattning

In the rapidly growing business landscape of today, organizations are required to utilize complex management systems in order to respond effectively to the challenges they face. Ensuring that security and reliability are maintained across these systems is therefore of utmost importance. In this work, a case study on a Customer Management System is performed and it is examined whether Petri nets can be used to model such a system in order to ensure relevant security and reliability properties. To achieve this, relevant scenarios occurring regularly in a Customer Management System are selected and then modeled using Petri nets. Subsequently, the models are analyzed in regards to relevant properties and the behavior of the system is evaluated. Thus, it is shown that Petri nets can successfully be used to verify the security and reliability of such a system.