Durante el diseño del lenguaje, puso de manifiesto que algunas de las extensiones que fueron añadidas a Petri nets eran difíciles e incluso imposibles de recodificar en sencillo Petri nets.