Selected papers of the Second Workshop on Concurrency and compositionality
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Synthesizing Petri nets from state-based models
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
A Technique for Drawing Directed Graphs
IEEE Transactions on Software Engineering
UML for real
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Model checker aided design of a controller for a wafer scanner
International Journal on Software Tools for Technology Transfer (STTT)
YAWL: yet another workflow language
Information Systems
Visual Analysis of Multivariate State Transition Graphs
IEEE Transactions on Visualization and Computer Graphics
Process mining framework for software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
ProM 4.0: comprehensive support for real process analysis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
Towards synthesis of petri nets from scenarios
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
| Hi-index | 0.00 |
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.