Workflow Analysis Using Colored Petri-Nets

Karanjeet, . (2016) Workflow Analysis Using Colored Petri-Nets. MTech thesis.

[img]PDF (Fulltext is restricted upto 05.05.2020)
Restricted to Repository staff only



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.

Item Type:Thesis (MTech)
Uncontrolled Keywords:Analysis; Business Workflow; Safety-critical system; NPP; CPN Modelling
Subjects:Engineering and Technology > Computer and Information Science
Divisions: Engineering and Technology > Department of Computer Science
ID Code:9124
Deposited By:Mr. Sanat Kumar Behera
Deposited On:06 May 2018 17:41
Last Modified:06 May 2018 17:41
Supervisor(s):Rath, Santanu Kumar

Repository Staff Only: item control page