Sciweavers

Share
ECLIPSE
2005
ACM

An approach to workflow modeling and analysis

9 years 9 months ago
An approach to workflow modeling and analysis
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the workflow using Activity diagrams, convert the Activity diagrams to Petri nets and use the theoretical results in Petri nets to analyze the equivalent Petri nets and infer properties of the original workflow. We have demonstrated the possibility by developing an Eclipse plug-in which can be used to model workflows using Activity Diagrams and then analyze these workflow models using Petri nets.
Hemant Kr. Meena, Indradeep Saha, Koushik Kr. Mond
Added 14 Oct 2010
Updated 14 Oct 2010
Type Conference
Year 2005
Where ECLIPSE
Authors Hemant Kr. Meena, Indradeep Saha, Koushik Kr. Mondal, T. V. Prabhakar
Comments (0)
books