Assessing state spaces using Petri-net synthesis and attribute-based visualization

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Abstract

State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For a good understanding of the system’s behavior, an analyst may need to assess the state space. Unfortunately, state spaces of realistic applications tend to be very large. This makes this assessment hard. In this paper, we tackle this problem by combining Petri-net synthesis (i.e., regions theory) and visualization. Using Petri-net synthesis we generate the attributes needed for attribute-based visualization. Using visualization we can assess the state space. We demonstrate that such an approach is possible and describe our implementation using existing tools. The only limiting factor of our approach is the performance of current synthesis techniques.
Original languageEnglish
Title of host publicationTransactions on Petri Nets and Other Models of Concurrency I
EditorsK. Jensen, W.M.P. Aalst, van der, J. Billington
Place of PublicationBerlin
PublisherSpringer
Pages152-171
ISBN (Print)978-3-540-89286-1
DOIs
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
Volume5100
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Assessing state spaces using Petri-net synthesis and attribute-based visualization'. Together they form a unique fingerprint.

  • Cite this

    Verbeek, H. M. W., Pretorius, A. J., Aalst, van der, W. M. P., & Wijk, van, J. J. (2008). Assessing state spaces using Petri-net synthesis and attribute-based visualization. In K. Jensen, W. M. P. Aalst, van der, & J. Billington (Eds.), Transactions on Petri Nets and Other Models of Concurrency I (pp. 152-171). (Lecture Notes in Computer Science; Vol. 5100). Berlin: Springer. https://doi.org/10.1007/978-3-540-89287-8_10