We present GSMPA, a stochastically timed process algebra that enhances the expressiveness of the stochastically timed process algebra EMPA by allowing arbitrarily distributed durations to be directly modeled through the adoption of the mechanism of action identification as well as the adoption of the preselection policy for alternative actions. GSMPA is introduced together with the definition o...

the stochastic reaction diffusion systems may suffer sudden shocks‎, ‎in order to explain this phenomena‎, ‎we use markovian jumps to model stochastic reaction diffusion systems‎. ‎in this paper‎, ‎we are interested in almost sure exponential stability of stochastic reaction diffusion systems with markovian jumps‎. ‎under some reasonable conditions‎, ‎we show that the trivial solution of stocha...

The notion of equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. The reason is that, besides being a congruence, Markovian bisimilarity is consistent with ordinary lumping, an exact aggregation for Markov chains. In this paper we show that two non-bisimulation-based Markovian behavioral equivalences – Marko...

we compare two approaches for a markovian model in flexible manufacturing systems (fmss) using monte carlo simulation. the model which is a development of fazlollahtabar and saidi-mehrabad (2013), considers two features of automated flexible manufacturing systems equipped with automated guided vehicle (agv) namely, the reliability of machines and the reliability of agvs in a multiple agv jobsho...