Managing the software process
The synthesis problem of Petri nets
Acta Informatica
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
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Polynomial Algorithms for the Synthesis of Bounded Nets
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
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
MSR 2005 international workshop on mining software repositories
Proceedings of the 27th international conference on Software engineering
Incremental workflow mining based on document versioning information
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
Transactions on Petri Nets and Other Models of Concurrency II
Process mining framework for software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
RECYCLE: Learning looping workflows from annotated traces
ACM Transactions on Intelligent Systems and Technology (TIST)
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Multidimensional process mining: a flexible analysis approach for health services research
Proceedings of the Joint EDBT/ICDT 2013 Workshops
Hi-index | 0.00 |
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications – in particular in the design of electronic circuits. In this paper, we show that this theory can be also applied for mining the underlying process from the user interactions with a document management system. To this end, we combine an algorithm that we called activity mining with such Petri net synthesis algorithms. We present the basic idea of this approach, show some first results, and compare them with classical process mining techniques. The main benefit is that, in combination, the activity mining algorithm and the synthesis algorithms do not need a log of the activities, which is not available when the processes are supported by a document management system only.