Se considera que fue uno de los descubridores en los años 1960 de las denominadas Redes de Petri que son una representación matemática empleada en el diseño de sistemas distribuidos discretos.