Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification of workflow task structures: A petri-net-based approach
Information Systems
The design requirements of office systems
ACM Transactions on Information Systems (TOIS)
Workflow Management Systems for Process Organizations
Workflow Management Systems for Process Organizations
Internet-Based Workflow Management: Towards a Semantic Web
Internet-Based Workflow Management: Towards a Semantic Web
Techniques for Modeling Workflows and Their Support of Reuse
Business Process Management, Models, Techniques, and Empirical Studies
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Dwelling time probability density distribution of instances in a workflow model
Computers and Industrial Engineering
Workflow performance analysis and simulation based on multidimensional workflow net
Computers in Industry
Hi-index | 0.00 |
In recent years a significant body of research has been dedicated to the analysis and verification of workflows without taking into account the temporal dimension of activities involved. Once the temporal aspects of the activities in a process description are taken into account, various types of synchronization anomalies and other undesirable behavior may be detected. In this paper, we use a timed Petri nets to represent workflows and introduce a set of linear inference algorithms for the quantitative analysis of temporal constraints of workflows. We apply our models to the analysis of several workflow patterns.