Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor · Study