Design of a communication scheme for a distributed controller architecture using stochastic Petri nets | IEEE Conference Publication | IEEE Xplore