Adapted Queueing Algorithms for Process Chains

Process chains are a common modeling paradigm for analysis and optimization of logistic processes, and are intensively used in many practical applications. The ProC/B toolset is a collection of software tools for modeling, analysis, validation and optimization of process chains. The ProC/B models can be translated into queueing networks or Petri nets, which can be solved by effective techniques and algorithms to evaluate performance metrics. The base queueing model with Mean-Value Analysis evaluation algorithm, and their adaptations for modeling thread pool and queue limit have been verified and validated for multi-tier software systems. The goal of our work is to adapt these models and algorithms for process chains to model parallel processes and queue limit.