support for PetriNet-specific params