Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems
Mokdad Arous, Jean‐Michel Ilié · 2012
Abstract. A new Stochastic Process Algebra called S-LOTOS is investigated, it extends LOTOS in order to specify the durations of actions in terms of generally distributed functions. We present its operational semantics and its underlying semantic model, called Maximality-based Labeled Stochastic Transition System (MLSTS). With regards to performance properties, we show that MLSTS and ST-semantics (Start-Termination) based models are equivalent, but the former brings more compact structure.