public class AcceptingPetriNetProject
extends java.lang.Object
Constructor and Description |
---|
AcceptingPetriNetProject() |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.lang.String> |
getActivitiesPetriNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static org.processmining.acceptingpetrinet.models.AcceptingPetriNet |
project(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
org.processmining.framework.plugin.ProMCanceller canceller,
java.lang.String... names) |
static DFA |
projectAndAutomatisePetrinet(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
CompareParameters parameters,
org.processmining.framework.plugin.ProMCanceller canceller,
java.lang.String... names) |
public static java.util.Set<java.lang.String> getActivitiesPetriNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static DFA projectAndAutomatisePetrinet(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net, CompareParameters parameters, org.processmining.framework.plugin.ProMCanceller canceller, java.lang.String... names) throws AutomatonFailedException
AutomatonFailedException
public static org.processmining.acceptingpetrinet.models.AcceptingPetriNet project(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net, org.processmining.framework.plugin.ProMCanceller canceller, java.lang.String... names)