Encoding temporal structure in probabilistic RAM nets | IET Conference Publication | IEEE Xplore