Automatic construction of Markov transition matrices under state and functional dependences

This paper deals with the construction of the transition rate matrix of a system with state and `functionalʹ dependences. Functional dependences are introduced by operational rules and are characterized by multiple transitions. The construction of the transition rate matrix of a three-motor system (one in standby) is given as an application.