22
23
import org.workcraft.plugins.petri.VisualTransition;
23
24
import org.workcraft.plugins.petri.tools.PetriNetSimulationTool;
24
25
import org.workcraft.plugins.petri.tools.PlaceDecoration;
25
27
import org.workcraft.plugins.policy.VisualBundledTransition;
26
28
import org.workcraft.plugins.policy.VisualPolicyNet;
27
29
import org.workcraft.plugins.shared.CommonSimulationSettings;
28
30
import org.workcraft.util.Func;
31
33
private PetriNetGenerator generator;