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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Samenvatting

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.
Originele taal-2Engels
TitelTransactions on Petri Nets and Other Models of Concurrency I
RedacteurenK. Jensen, W.M.P. Aalst, van der, J. Billington
Plaats van productieBerlin
UitgeverijSpringer
Pagina's152-171
ISBN van geprinte versie978-3-540-89286-1
DOI's
StatusGepubliceerd - 2008

Publicatie series

NaamLecture Notes in Computer Science
Volume5100
ISSN van geprinte versie0302-9743

    Vingerafdruk

Citeer dit

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 (editors), Transactions on Petri Nets and Other Models of Concurrency I (blz. 152-171). (Lecture Notes in Computer Science; Vol. 5100). Berlin: Springer. https://doi.org/10.1007/978-3-540-89287-8_10