%gen == PetriNet.specs:vlEnv