Browse

The Virtual University, Pakistan’s first University based completely on modern Information and Communication Technologies, was established by the Government as a public sector, not-for-profit institution with a clear mission: to provide extremely affordable world class education to aspiring students all over the country.

Using free-to-air satellite television broadcasts and the Internet, the Virtual University allows students to follow its rigorous programs regardless of their physical locations. It thus aims at alleviating the lack of capacity in the existing universities while simultaneously tackling the acute shortage of qualified professors in the country. By identifying the top Professors of the country, regardless of their institutional affiliations, and requesting them to develop and deliver hand-crafted courses, the Virtual University aims at providing the very best courses to not only its own students but also to students of all other universities in the country.

Modeling and Analysis of Workflow Management System With Petrinets

Download

Author: IJAZ HUSSAIN BUKHARI


Citable URI : https://vspace.vu.edu.pk/detail.aspx?id=28

Publisher : Virtual University of Pakistan

Date Issued: 8/12/2015 12:00:00 AM


Abstract

Formal methods are proposed to arrange and establish strictness in stages for the development of software. This method assists to avoid serious issues, offer standard resources to record various hypotheses and conclusion and outline a source for stability among many connected activities. Workflow management system assists the administration to define and coordinate different departments such as several employees and systems. By using the workflow management system the administration can control, monitor, optimize the problem and maintain the business process. Formal approaches are used for designing and verification of the proposed system. The organization can save the time of development and implementation of the model. By using Petri net formalism we can design and model the specification and verification of multifaceted workflows. This research work focuses on the methods for modeling, analysis and simulation of workflow management system. A proposed model is developed, which almost eliminate the risks of logical errors before starting the code of the software. In this research work, the workflow model is designed for a railway reservation system. This organization has different reservation offices at different locations. These offices are interlinked with each other. To design a model of this company multi-agent based technique is used and each office works as an agent of the system. This research is intended to design an interaction model for the cooperation between these offices (modules). Petri net formalism is applied for modeling, analysis and verification purposes to show the workflow in between these offices (modules for entire system). This research is intended to design an interaction model for the cooperation between these offices (Agents). By using CPN tool four stations’ models are designed and verified their liveness, boundedness and reversibility through invariants. After this these micro models also known as Agents are joined to a single macro model known as Railway Reservation System (RRS), where each Agent represents as a place by using the idea of nets within nets. These agents interact with each other through transitions in macro model. Due to state space explosion it is not possible to analyze each micro model through reachability graph, so analysis is done through place and transition invariants. Macro model is then verified through reachability graph as well as through invariants by using CPN tool and MATLAB.


URI : https://vspace.vu.edu.pk/details.aspx?id=28

Citation: Bukhari, I. H. (2015). Modeling and Analysis of Workflow Management System With Petrinets. Virtual University of Pakistan, (Lahore, Pakistan).

Version : Final Version

Terms of Use : All the material and results are copyright of Virtual University of Pakistan

Detailed Terms :

Journal :

Files in this item

Name Size Format
Spring 2015_CS720_ms070400060.pdf 1555kb pdf


Copyright 2016 © Virtual University of Pakistan