Free choice Petri nets
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Event-based detection of concurrency
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Discovery of Frequent Episodes in Event Sequences
Data Mining and Knowledge Discovery
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Improving Business Process Quality through Exception Understanding, Prediction, and Prevention
Proceedings of the 27th International Conference on Very Large Data Bases
A Data Warehouse for Workflow Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Discovering Workflow Performance Models from Timed Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Process Miner - A Tool for Mining Process Schemes from Event-Based Data
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Inductive Inference, DFAs, and Computational Complexity
AII '89 Proceedings of the International Workshop on Analogical and Inductive Inference
Data Mining von Workflow-Protokollen zur teilautomatisierten Konstruktion von Prozeßmodellen
Datenbanksysteme in Büro, Technik und Wissenschaft (BTW), 9. GI-Fachtagung,
Process Mining: Discovering Direct Successors in Process Logs
DS '02 Proceedings of the 5th International Conference on Discovery Science
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Discovering Social Networks from Event Logs
Computer Supported Cooperative Work
A Data Mining-based Framework for GridWorkflow Management
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Mining of ad-hoc business processes with TeamLog
Data & Knowledge Engineering
Interactive workflow mining: requirements, concepts and implementation
Data & Knowledge Engineering - Special issue: Business process management
An exploratory study of process enactment as input to software process improvement
Proceedings of the 2006 international workshop on Software quality
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Data Mining and Knowledge Discovery
Mining configurable enterprise information systems
Data & Knowledge Engineering
Peer-to-peer form based web information systems
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
Discovering Frequent Closed Partial Orders from Strings
IEEE Transactions on Knowledge and Data Engineering
Proceedings of the 44th annual Southeast regional conference
Dynamic batch processing in workflows: Model and implementation
Future Generation Computer Systems
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Business process mining: An industrial application
Information Systems
Performance metrics and ontologies for Grid workflows
Future Generation Computer Systems
Exploring the CSCW spectrum using process mining
Advanced Engineering Informatics
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
Conformance checking of processes based on monitoring real behavior
Information Systems
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
The Data Preprocessing of Behavior Pattern Discovering in Collaboration Environment
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Anomaly detection algorithms in logs of process aware systems
Proceedings of the 2008 ACM symposium on Applied computing
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
International Journal of Computer Integrated Manufacturing
Journal of Systems and Software
Efficient ticket routing by resolution sequence mining
Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining
Mining taxonomies of process models
Data & Knowledge Engineering
Discovering protocols and organizational structures in workflows
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Message Correlation and Business Protocol Discovery in Service Interaction Logs
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Automatic Extraction of Process Control Flow from I/O Operations
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
Towards comprehensive support for organizational mining
Decision Support Systems
Abductive Workflow Mining Using Binary Resolution on Task Successor Rules
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
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:
Translating Message Sequence Charts to other Process Languages Using Process Mining
Transactions on Petri Nets and Other Models of Concurrency I
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Transactions on Petri Nets and Other Models of Concurrency I
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Information Systems
Process Mining towards Semantics
Advances in Web Semantics I
Classification and evaluation of timed running schemas for workflow based on process mining
Journal of Systems and Software
A novel approach for process mining based on event types
Journal of Intelligent Information Systems
Log-based transactional workflow mining
Distributed and Parallel Databases
Collaborative workflow assistant for organizational effectiveness
Proceedings of the 2009 ACM symposium on Applied Computing
Using minimum description length for process mining
Proceedings of the 2009 ACM symposium on Applied Computing
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
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
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Analyzing a Software Process Model Repository for Understanding Model Evolution
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
An initial approach to mining multiple perspectives of a business process
The Fifth Richard Tapia Celebration of Diversity in Computing Conference: Intellect, Initiatives, Insight, and Innovations
Analysis of a collaborative workflow process with distributed actors
Information Systems Frontiers
TomTom for Business Process Management (TomTom4BPM)
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Using Genetic Process Mining Technology to Construct a Time-Interval Process Model
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Improving bug triage with bug tossing graphs
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
POIROT: acquiring workflows by combining models learned from interpreted traces
Proceedings of the fifth international conference on Knowledge capture
Workflow Mining Application to Ambient Intelligence Behavior Modeling
UAHCI '09 Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments
Sharing Good Practice through Mash-Up Personal Learning Environments
ICWL '009 Proceedings of the 8th International Conference on Advances in Web Based Learning
Discovering Process Models from Unlabelled Event Logs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Discovering Process Models from Unlabelled Event Logs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Abstractions in Process Mining: A Taxonomy of Patterns
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Divide-and-Conquer Strategies for Process Mining
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Discovering Structured Event Logs from Unstructured Audit Trails for Workflow Mining
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Discovering expressive process models from noised log data
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Policy-Driven Process Mapping (PDPM): Discovering process models from business policies
Decision Support Systems
A Petri net-based model for verification of obligations and accountability in cooperative systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
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)
A context driven approach for workflow mining
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Assessment of Service Protocols Adaptability Using a Novel Path Computation Technique
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Learning the Control-Flow of a Business Process Using ICN-Based Process Models
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
MC-Cube: Mastering Customizable Compliance in the Cloud
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
Electronic Notes in Theoretical Computer Science (ENTCS)
Monitoring and analyzing influential factors of business process performance
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Process discovery and petri nets†
Mathematical Structures in Computer Science
Predicting service request rates for adaptive resource allocation in SOA
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
Business process learning for real time enterprises
BIRTE'06 Proceedings of the 1st international conference on Business intelligence for the real-time enterprises
Process mining framework for software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
Theory of regions for the synthesis of inhibitor nets from scenarios
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
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
Mining invisible tasks from event logs
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Detection of consistent patterns from process enactment data
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
On the performance of workflow processes with distributed actors: does place matter?
BPM'07 Proceedings of the 5th international conference on Business process management
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Fuzzy mining: adaptive process simplification based on multi-perspective metrics
BPM'07 Proceedings of the 5th international conference on Business process management
Inducing declarative logic-based models from labeled traces
BPM'07 Proceedings of the 5th international conference on Business process management
Approaching process mining with sequence clustering: experiments and findings
BPM'07 Proceedings of the 5th international conference on Business process management
Applying inductive logic programming to process mining
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Process mining as first-order classification learning on logs with negative events
BPM'07 Proceedings of the 2007 international conference on Business process management
The need for a process mining evaluation framework in research and practice: position paper
BPM'07 Proceedings of the 2007 international conference on Business process management
Adaptive workflows for healthcare information systems
BPM'07 Proceedings of the 2007 international conference on Business process management
Rediscovery of government process model in e-government
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
Using visual analytics to improve hospital scheduling and patient flow
Journal of Theoretical and Applied Electronic Commerce Research
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
Uma experiência em mineração de processos de manutenção de software
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Fraud detection in process aware systems
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Process discovery: capturing the invisible
IEEE Computational Intelligence Magazine
Mining program workflow from interleaved traces
Proceedings of the 16th ACM SIGKDD international conference on Knowledge discovery and data mining
A Proximity-Based Self-Organizing Framework for Service Composition and Discovery
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
An event-based empirical process analysis framework
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Mining process models with prime invisible tasks
Data & Knowledge Engineering
A process model discovery approach for enabling model interoperability in signal engineering
Proceedings of the First International Workshop on Model-Driven Interoperability
A fresh look at precision in process conformance
BPM'10 Proceedings of the 8th international conference on Business process management
Trace alignment in process mining: opportunities for process diagnostics
BPM'10 Proceedings of the 8th international conference on Business process management
A collaborative approach to maturing process-related knowledge
BPM'10 Proceedings of the 8th international conference on Business process management
Beyond process mining: from the past to present and future
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Process compliance measurement based on behavioural profiles
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Probabilistic declarative process mining
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Process mining meets abstract interpretation
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part I
Time prediction based on process mining
Information Systems
Discovering process models with genetic algorithms using sampling
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
A novel approach of process mining with event graph
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Mining group-based knowledge flows for sharing task knowledge
Decision Support Systems
Petri-net integration - An approach to support multi-agent process mining
Expert Systems with Applications: An International Journal
Conceptual model for online auditing
Decision Support Systems
Applying process mining in SOA environments
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Rbminer: a tool for discovering Petri nets from transition systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Process discovery in event logs: An application in the telecom industry
Applied Soft Computing
Inducing decision trees from medical decision processes
KR4HC'10 Proceedings of the ECAI 2010 conference on Knowledge representation for health-care
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Workflows to open provenance graphs, round-trip
Future Generation Computer Systems
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
Generalised computation of behavioural profiles based on petri-net unfoldings
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
RECYCLE: Learning looping workflows from annotated traces
ACM Transactions on Intelligent Systems and Technology (TIST)
A business process mining application for internal transaction fraud mitigation
Expert Systems with Applications: An International Journal
Process compliance analysis based on behavioural profiles
Information Systems
Supporting process design for e-business via an integrated process repository
Information Technology and Management
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I
Verifying trustworthiness of virtual appliances in collaborative environments
TRUST'11 Proceedings of the 4th international conference on Trust and trustworthy computing
Experimental specification mining for enterprise applications
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
An iterative approach for business process template synthesis from compliance rules
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Purpose control: did you process the data for the intended purpose?
SDM'11 Proceedings of the 8th VLDB international conference on Secure data management
A principled approach to the analysis of process mining algorithms
IDEAL'11 Proceedings of the 12th international conference on Intelligent data engineering and automated learning
Distributed genetic process mining using sampling
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Optimizing the trade-off between complexity and conformance in process reduction
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
A new method for business process mining based on state equation
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Checking order constraints in collaborative workflow with invariant analysis
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Process diagnostics using trace alignment: Opportunities, issues, and challenges
Information Systems
Discovery and analysis of e-mail-driven business processes
Information Systems
Designing for compliance: norms and goals
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Mashups and widget orchestration
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
BPM'06 Proceedings of the 4th international conference on Business Process Management
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Workflow simulation for operational decision support using event graph through process mining
Decision Support Systems
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Detecting implicit dependencies between tasks from event logs
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
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
An information-theoretic framework for process structure and data mining
DaWaK'06 Proceedings of the 8th international conference on Data Warehousing and Knowledge Discovery
Warehousing and mining massive RFID data sets
ADMA'06 Proceedings of the Second international conference on Advanced Data Mining and Applications
Mining of flexible manufacturing system using work event logs and petri nets
ADMA'06 Proceedings of the Second international conference on Advanced Data Mining and Applications
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
Type inference and type checking for queries over execution traces
The VLDB Journal — The International Journal on Very Large Data Bases
Model-driven enterprise systems configuration
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
A generic import framework for process event logs
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Process mining and petri net synthesis
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Process mining by measuring process block similarity
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Resource behavior measure and application in business process management
Expert Systems with Applications: An International Journal
Mining hierarchies of models: from abstract views to concrete specifications
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Mining constrained graphs: the case of workflow systems
Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
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
A hybrid approach for process mining: using from-to chart arranged by genetic algorithms
HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part I
Change mining in adaptive process management systems
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Process mining for ubiquitous mobile systems: an overview and a concrete algorithm
UMICS'04 Proceedings of the Second CAiSE conference on Ubiquitous Mobile Information and Collaboration Systems
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Process mining from a basis of state regions
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
Synergizing standard and ad-hoc processes
PAKM'06 Proceedings of the 6th international conference on Practical Aspects of Knowledge Management
HBU'11 Proceedings of the Second international conference on Human Behavior Unterstanding
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
Mining staff assignment rules from event-based data
BPM'05 Proceedings of the Third international conference on Business Process Management
Genetic process mining: a basic approach and its challenges
BPM'05 Proceedings of the Third international conference on Business Process Management
Process Mining: Overview and Opportunities
ACM Transactions on Management Information Systems (TMIS)
Transactions on Petri Nets and Other Models of Concurrency V
On the exploitation of process mining for security audits: the conformance checking case
Proceedings of the 27th Annual ACM Symposium on Applied Computing
An empirical evaluation of process mining algorithms based on structural and behavioral similarities
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Invariant analysis for ordering constraints of multi-view business process model
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
Efficient retrieval of similar workflow models based on behavior
APWeb'12 Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications
Distributed process discovery and conformance checking
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A Study of Quality and Accuracy Trade-offs in Process Mining
INFORMS Journal on Computing
The effectiveness of workflow management systems: Predictions and lessons learned
International Journal of Information Management: The Journal for Information Professionals
Science of Computer Programming
Replaying history on process models for conformance checking and performance analysis
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery
Discovering process models from event multiset
Expert Systems with Applications: An International Journal
Deriving a unified fault taxonomy for event-based systems
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Implementing design principles for collaborative ERP systems
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Data flow-oriented process mining to support security audits
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Service for crowd-driven gathering of non-discoverable knowledge
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Improved artificial negative event generation to enhance process event logs
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Efficient discovery of understandable declarative process models from event logs
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
On mining clinical pathway patterns from medical behaviors
Artificial Intelligence in Medicine
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Empirical assessment of business model transformations based on model simulation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Mining the role-oriented process models based on genetic algorithm
ICSI'12 Proceedings of the Third international conference on Advances in Swarm Intelligence - Volume Part I
Towards a goal recognition model for the organizational memory
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
An SMT-Based discovery algorithm for c-nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Decomposing process mining problems using passages
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
On the α-reconstructibility of workflow nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
On profiles and footprints --- relational semantics for petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Expert Systems with Applications: An International Journal
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
A complete chronicle discovery approach: application to activity analysis
Expert Systems: The Journal of Knowledge Engineering
Model-based testing of service infrastructure components
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Graph-based workflow recommendation: on improving business process modeling
Proceedings of the 21st ACM international conference on Information and knowledge management
What makes a good process model?
Software and Systems Modeling (SoSyM)
Domain-driven reduction optimization of recovered business processes
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Modeling and wafer defect analysis in semiconductor automated material handling systems
Proceedings of the Winter Simulation Conference
Summarizing clinical pathways from event logs
Journal of Biomedical Informatics
Simplifying discovered process models in a controlled manner
Information Systems
A comparative study of dimensionality reduction techniques to enhance trace clustering performances
Expert Systems with Applications: An International Journal
Cross-organizational collaborative workflow mining from a multi-source log
Decision Support Systems
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Getting a grasp on clinical pathway data: an approach based on process mining
PAKDD'12 Proceedings of the 2012 Pacific-Asia conference on Emerging Trends in Knowledge Discovery and Data Mining
Amending C-net discovery algorithms
Proceedings of the 28th Annual ACM Symposium on Applied Computing
On the exploitation of process mining for security audits: the process discovery case
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Formal workflow design analytics using data flow modeling
Decision Support Systems
Stakeholder Ontology and Mining for Improving Complex Services
International Journal of Information Systems in the Service Sector
Profiling event logs to configure risk indicators for process delays
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Discovering block-structured process models from event logs - a constructive approach
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Application of tree-structured data mining for analysis of process logs in XML format
AusDM '12 Proceedings of the Tenth Australasian Data Mining Conference - Volume 134
Towards the next generation intelligent BPM: in the era of big data
BPM'13 Proceedings of the 11th international conference on Business Process Management
Using model checking to analyze the system behavior of the LHC production grid
Future Generation Computer Systems
DPMine/P: modeling and process mining language and ProM plug-ins
Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia
Decomposing Petri nets for process mining: A generic approach
Distributed and Parallel Databases
Querying business process model repositories
World Wide Web
Learning web-service task descriptions from traces
Web Intelligence and Agent Systems
A Logic Framework for Incremental Learning of Process Models
Fundamenta Informaticae
Learning probabilistic real-time automata from multi-attribute event logs
Intelligent Data Analysis - Dynamic Networks and Knowledge Discovery
Process Discovery and Conformance Checking Using Passages
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Discovery of clinical pathway patterns from event logs using probabilistic topic models
Journal of Biomedical Informatics
Hi-index | 0.01 |
Contemporary workflow management systems are driven by explicit process models, i.e., a completely specified workflow design is required in order to enact a given workflow process. Creating a workflow design is a complicated time-consuming process and, typically, there are discrepancies between the actual workflow processes and the processes as perceived by the management. Therefore, we have developed techniques for discovering workflow models. The starting point for such techniques is a so-called "workflow log驴 containing information about the workflow process as it is actually being executed. We present a new algorithm to extract a process model from such a log and represent it in terms of a Petri net. However, we will also demonstrate that it is not possible to discover arbitrary workflow processes. In this paper, we explore a class of workflow processes that can be discovered. We show that the \alpha{\hbox{-}}{\rm{algorithm}} can successfully mine any workflow represented by a so-called SWF-net.