Petri nets: an introduction
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
On the discovery of process models from their instances
Decision Support Systems
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Discovery of temporal patterns from process instances
Computers in Industry - Special issue: Process/workflow mining
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Mining and Reasoning on Workflows
IEEE Transactions on Knowledge and Data Engineering
Discovering Social Networks from Event Logs
Computer Supported Cooperative Work
Two Symmetrical Decomposition Methods for Structure-complex Petri Nets and Their Applications
SNPD '07 Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 03
Timing constraint workflow nets for workflow analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Journal of Systems and Software
Discovering process models from event multiset
Expert Systems with Applications: An International Journal
Cross-organizational collaborative workflow mining from a multi-source log
Decision Support Systems
Hi-index | 0.00 |
The system running logs of a workflow contain much information about the behavior and logical structure between activities. In this paper, a mining approach is proposed to discover the structural and temporal model for a workflow from its timed running logs. The mining results are represented in the formalized form of Petri nets extended with two timing factors that allows validation or verification the actual behaviors, especially the temporal constraints between activities. According to the reachability graph of the extended Petri net model mined, all running schemas of a workflow can be generated, which defines the temporal constraints between running activities. By calculating the earliest and latest start time of each activity, the earliest starting and latest existing time of each state in the running schema can be determined. Based on the temporal relations between the timing factors of each running state, the running schemas can be classified into six classes. The effects of the six classes of running schemas on the implementation of the whole workflow are evaluated so as to obtain the best one that can ensure the workflow is finished in the shortest time. The standards for the ideal, reliable and favorable running schemas and their existence conditions are discussed, which can be used to evaluate the running logs and control the future running of a workflow.