Findings about the BMMPP for modeling dependent and simultaneous data in reliability and queueing systems

The batch Markov-modulated Poisson process (BMMPP) is a subclass of the versatile batch Markovian arrival process (BMAP), which has been widely used for the modeling of dependent and correlated simultaneous events (as arrivals, failures, or risk events). Both theoretical and applied aspects are examined in this paper. On one hand, the identifiability of the stationary BMMPP m (K) is proven, where K is the maximum batch size and m is the number of states of the underlying Markov chain. This is a powerful result for inferential issues. On the other hand, some novelties related to the correlation and autocorrelation structures are provided.