Many problems in manufacturing systems can be formulated via Markov stochastic
modeling. This paper gives a review and classification of timed models of manufacturing …

Software development projects have become a challenge for both industry and academia
regarding the performance evaluation of teams. Recently, a Stochastic Automata Networks …

We consider first discrete-time Markov chains (DTMCs) in competition over a set of
resources. We build a multidimensional Markov chain based on the Cartesian product of the …

This paper presents a solution procedure for reliable production lines with service times
distributed according to an exponential distribution, based on a Markovian formulation with a …

This paper presents a software package, called GTAexpress, to handle structured
continuous-time Markovian models expressed using generalized tensor algebra, also …

The point availability is the probability that a system is available at time t. As grids need a lot
of resources to be really operational, the evolution of their availability with time or depending …

The qualitative and quantitative analysis of operational processes recently started to receive
special attention with the business process management systems. But the Business Process …

Measuring productivity in globally distributed projects is crucial to improve team
performance. These measures often display information on whether a given project is …

The solution of continuous and discrete-time Markovian models is still challenging mainly
when we model large complex systems, for example, to obtain performance indexes of …

This paper presents a new approach to obtain the reachable state space (RSS) of a
structured model which uses functional transitions. We use multi-valued decision diagrams …