Synthesis of Probabilistic Communication Nets - Herbert Marvin Barnard (1964)