Visual analytics for soundness verification of process models

Humberto S. Garcia Caballero, Michel A. Westenberg, Henricus M.W. Verbeek, Wil M.P. van der Aalst

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)


Soundness validation of process models is a complex task for process modelers due to all the factors that must be taken into account. Although there are tools to verify this property, they do not provide users with easy information on where soundness starts breaking and under which conditions. Providing insights such as states in which problems occur, involved activities, or paths leading to those states, is crucial for process modelers to better understand why the model is not sound. In this paper we address the problem of validating the soundness property of a process model by using a novel visual approach and a new tool called PSVis (Petri net Soundness Visualization) supporting this approach. The PSVis tool aims to guide expert users through the process models in order to get insights into the problems that cause the process to be unsound.

Original languageEnglish
Title of host publicationBusiness Process Management Workshops
Subtitle of host publicationBPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers
EditorsE. Teniente, M. Weidlich
Place of PublicationDordrecht
Number of pages13
ISBN (Electronic)978-3-319-74030-0
ISBN (Print)978-3-319-74029-4
Publication statusPublished - 1 Jan 2018
Event15th International Conference on Business Process Management (BPM 2017) - Barcelona, Spain
Duration: 10 Sept 201715 Sept 2017
Conference number: 15

Publication series

NameLecture Notes in Business Information Processing
ISSN (Print)1865-1348


Conference15th International Conference on Business Process Management (BPM 2017)
Abbreviated titleBPM 2017
Internet address


  • Petri nets
  • Process mining
  • Process models
  • Soundness
  • Verification
  • Visual analytics
  • Visualization


Dive into the research topics of 'Visual analytics for soundness verification of process models'. Together they form a unique fingerprint.

Cite this