Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
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
Discovering Social Networks from Event Logs
Computer Supported Cooperative Work
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
Deadline-based escalation in process-aware information systems
Decision Support Systems
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
Conformance checking of processes based on monitoring real behavior
Information Systems
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Synthesis of Petri Nets from Scenarios with VipTool
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Grasping product pragmatics: a case with internet on tv
Proceedings of the 1st international conference on Designing interactive user experiences for TV and video
Visual Support for Work Assignment in Process-Aware Information Systems
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Workflow Simulation for Operational Decision Support Using Design, Historic and State Information
BPM '08 Proceedings of the 6th International Conference on Business Process Management
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Complexity metrics for Workflow nets
Information and Software Technology
Merging Event-Driven Process Chains
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
A Reference Model for Grid Architectures and Its Analysis
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Transactions on Petri Nets and Other Models of Concurrency I
Information Systems
Analytics for the internet of things
CHI '09 Extended Abstracts on Human Factors in Computing Systems
Log-based transactional workflow mining
Distributed and Parallel Databases
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments
Transactions on Petri Nets and Other Models of Concurrency II
Workflow simulation for operational decision support
Data & Knowledge Engineering
Analysis of a collaborative workflow process with distributed actors
Information Systems Frontiers
Using process mining to identify models of group decision making in chat data
CSCL'09 Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1
Divide-and-Conquer Strategies for Process Mining
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Process mining applied to the test process of wafer scanners in ASML
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews - Special issue on information reuse and integration
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Extending the REA Ontology for the Evaluation of Process Warehousing Approaches
WSKS '09 Proceedings of the 2nd World Summit on the Knowledge Society: Visioning and Engineering the Knowledge Society. A Web Science Perspective
An evaluation of process warehousing approaches for business process analysis
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
An outlook on semantic business process mining and monitoring
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
In situ evaluation of recommender systems: Framework and instrumentation
International Journal of Human-Computer Studies
Process discovery: capturing the invisible
IEEE Computational Intelligence Magazine
Mining process models with prime invisible tasks
Data & Knowledge Engineering
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Design and verification of instantiable compliance rule graphs in process-aware information systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Beyond process mining: from the past to present and future
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Workflow soundness revisited: checking correctness in the presence of data while staying conceptual
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Coloured Petri net diagnosers for lumped process systems
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Time prediction based on process mining
Information Systems
Product-based workflow support
Information Systems
Conceptual model for online auditing
Decision Support Systems
Monitoring unmanaged business processes
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Monitoring business process compliance using compliance rule graphs
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Reality mining via process mining
AIC'10/BEBI'10 Proceedings of the 10th WSEAS international conference on applied informatics and communications, and 3rd WSEAS international conference on Biomedical electronics and biomedical informatics
Constructing workflow clusters based on appropriateness conformance checker
AIC'10/BEBI'10 Proceedings of the 10th WSEAS international conference on applied informatics and communications, and 3rd WSEAS international conference on Biomedical electronics and biomedical informatics
Using process mining metrics to measure noisy process fidelity
EASE'09 Proceedings of the 13th international conference on Evaluation and Assessment in Software Engineering
Modeling and mining of learnflows
Transactions on Petri Nets and Other Models of Concurrency V
Transactions on Petri Nets and Other Models of Concurrency V
A Study of Quality and Accuracy Trade-offs in Process Mining
INFORMS Journal on Computing
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
A self-organizing P2P framework for collective service discovery
Journal of Network and Computer Applications
Learning probabilistic real-time automata from multi-attribute event logs
Intelligent Data Analysis - Dynamic Networks and Knowledge Discovery
Hi-index | 0.00 |
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Process mining techniques attempt to extract non-trivial and useful information from so-called "event logs". One element of process mining is control-flow discovery, i.e., automatically constructing a process model (e.g., a Petri net) describing the causal dependencies between activities. Control-flow discovery is an interesting and practically relevant challenge for Petri-net researchers and ProM provides an excellent platform for this. For example, the theory of regions, genetic algorithms, free-choice-net properties, etc. can be exploited to derive Petri nets based on example behavior. However, as we will show in this paper, the functionality of ProM 4.0 is not limited to control-flow discovery. ProM 4.0 also allows for the discovery of other perspectives (e.g., data and resources) and supports related techniques such as conformance checking, model extension, model transformation, verification, etc. This makes ProM a versatile tool for process analysis which is not restricted to model analysis but also includes log-based analysis.