Add petrinets text