IEEE Transactions on Computers
A compositional approach to performance modelling
A compositional approach to performance modelling
Distributed and Parallel Databases
Formal techniques for performance analysis: blending SAN and PEPA
Formal Aspects of Computing
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Performance evaluation of business processes through a formal transformation to SAN
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Hi-index | 0.00 |
In order to improve efficiency in organizations, it is important to understand how organizational processes work and how they could be optimized. Our goal is to contribute to the Business Process Management research area providing a summary of the pros and cons of applying three well-known high-level formalisms in the business processes modeling for performance evaluation -- the Generalized Stochastic Petri Nets, the Performance Evaluation Process Algebra and the Stochastic Automata Networks. To evaluate the feasibility of the approaches, we consider criteria regarding the modeling perspective, such as the expressive power, abstraction, readability of the models, and the efficacy of their supporting software tools. Different scenarios are used to illustrate modeling characteristics commonly found in business processes and to evidence the advantages and disadvantages of each approach.