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.

• Type: Conference
• Year: 2005
• Where: ECLIPSE
• Authors: Hemant Kr. Meena, Indradeep Saha, Koushik Kr. Mondal, T. V. Prabhakar
• Keywords: Activity Diagrams, ECLIPSE 2005, Petri Nets, Software Engineering, Workflow