Workflow Analysis Using Colored Petri-Nets

Abstract

We applied colored Petri nets (CPNs) as the formalism that permits modelling, formal analysis and simulation-based verification of workflows, safety procedures, and various models. CPN models are used to specify the behavior of concurrent systems and executable in nature. The model of a system using CPN is both state and action oriented. It elaborate about the states of the system and the events (transitions) that helps the system to change the state.
This thesis surveys some contributions in the of modelling and analysis using Colored Petri-Nets of the various modules like business workflow modelling, safety procedure of nuclear power plant. In the Business process workflow, we have shown the business process workflow of Insurance Claiming module of vehicles. How the complete process of claiming the insurance form filing the claim to getting the claim with message is shown.
In safety procedure an example of Nuclear Power Plant has been taken as case study. And the modelling is done of this safety-critical system using the various operator conditions and working of the subsystems..With the help of incidence matrix of the CPN module working of the state equation and how the states are changing of the system can be studied. Here we are using the the reachability set and the reachability graph to identifying the places where errors may occur. Which is further used for the safety purposes. These designs helps the programmer to clearly understand the problem statement and to re-design the system.