Business with information technology has bought a revolutionary change in the digital world in terms of the huge amount of data available for processing. Mining techniques are playing a key role in enterprises as it is being used to search vast amounts of data for vital insight and knowledge. The sheer amount of data is posing challenges in terms of representation, analysis etc., which has given emphasis to pictorial representation of the same which for easy visualization and understanding. The mining tools are automated software tools used to achieve business intelligence by finding hidden relations, and predicting future events from vast amounts of data. This uncovered knowledge helps in gaining completive advantages, better customer relationships, etc. To process the data the techniques of process mining is used to discover and analyse the process. Process activity diagrams are often used to model business processes. One of the important modelling artefacts used is the activity diagrams which are further used to model the sequence of actions as part of the process flow. Process mining techniques use Petri nets which are best investigated process modelling language allowing for the modelling of concurrency. This paper emphasizes the comparison of the given process activity model to corresponding petri nets for analysis and verification. The process activity diagram and petri nets are used to demonstrate the applicability of process mining techniques.

Business Processes, Process Mining, Process Activity Diagram, Petri Nets

[1]. Van der Aalst, W.M.P. “Business Process Management: A Comprehensive Survey”, ISRN Software Engineering, pp 1–37 (2013).
[2]. W. M. P. van der Aalst, “Process Mining - Data Science in Action”, Second Edition. Springer 2016, ISBN 978-3-662-49850-7, (2016), pp. 3-452.
[3]. W.M.P. van der Aalst, “The Application of Petri Nets to Workflow Management”, The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.
[4]. K. Salimifard and M. Wright, “Petri net-based modelling of workflow systems: An overview”, Eur. J. Oper. Res., vol. 134, pp. 664-676, (2001).
[5]. W. M. P. van der Aalst, “Formalization and verification of event driven process chains”, Information and Software Technology 41(10)639–650, (1999).
[6]. Mendling, J, “Metrics for Process Models”, Springer, Berlin Heidelberg, 2008.
[7]. Boleslaw Mikolajczak, Jian-Lun Chen, “Workflow Mining Alpha Algorithm –AComplexity Study”, Intelligent Information Processing and Web Mining dvances in Soft Computing, 451, 2005.
[8]. Arik Senderovich, Sander J.J. Leemans, Shahar Harel, Avigdor Gal, Avishai Mandelbaum, Wil M.P. van der Aalst, “Discovering Queues from Event Logs with Varying Levels of Information”, In Business Process Intelligence 2015, Innsbruck, Austria.
[9]. R. Eshuis and R. Wieringa, “A real-time execution semantics for UML activity diagrams”, In H. Hussmann, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029. Springer, 2001.
[10] A. Rozinat and W.M.P. van der Aalst, “Conformance Checking of Processes Based on Monitoring Real Behavior”, Information Systems, 33(1):64–95, (2008).
[11] W.M.P., van der Aalst, M., Song, “Mining Social Networks Uncovering interaction patterns in business processes”, In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol. 3080, pp. 244–260. Springer, Heidelberg (2004).
[12] A. Teilans, A. Kleins, Y. Merkuryev, and A. Grinbergs, “Design of UML models and their simulation using Arena,” WSEAS Transactions on Computer Research, vol.3, no.1, pp.67–73, 2008.