This tutorial showed how to use the different ProM 6 plug-ins to answer common questions about process models. Since our focus was on this set of questions, we have not covered many of the other plug-ins that are in ProM 6.

We hope that the subset we have shown in this tutorial will help you in finding your way in ProM 6. ProM 6 can be downloaded from the menu on the left.


  1. COSA Business Process Management.
  2. SAP.
  3. Staffware Process Suite.
  4. W.M.P. van der Aalst, B.F. van Dongen, C.W. G√ľnther, R.S. Mans, A.K. Alves de Medeiros, A. Rozinat, V. Rubin, M. Song, H.M.W. Verbeek, and A.J.M.M. Weijters. ProM 4.0: Comprehensive Support for Real Process Analysis. In J. Kleijn and A. Yakovlev, editors, Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), volume 4546 of LNCS, pages 484{494. Springer-Verlag, Berlin, 2007.
  5. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002.
  6. Workflow Management Coalition. WFMC Home Page.
  7. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995.
  8. M. Dumas, W.M.P. van der Aalst, and A.H. ter Hofstede, editors. Process-Aware Information Systems: Bridging People and Software Through Process Technology. John Wiley & Sons Inc, 2005.
  9. T. Murata. Petri Nets: Properties, Analysis and Applications.Proceedings of the IEEE, 77(4):541{580, April 1989.
  10. W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998.
  11. H.M.W. Verbeek, B.F. van Dongen, J. Mendling, and W.M.P. van der Aalst. Interoperability in the ProM Framework. In T. Latour and M. Petit, editors, Proceedings of the CAiSE’06 Workshops and Doctoral Consortium , pages 619-630, Luxembourg, June 2006. Presses Universitaires de Namur.