public class TransitionSystem2Petrinet
extends java.lang.Object
| Constructor and Description |
|---|
TransitionSystem2Petrinet() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object[] |
convertToPetrinet(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts) |
java.lang.Object[] |
convertToPetrinet(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts,
boolean manipulateFutureResults) |
public java.lang.Object[] convertToPetrinet(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)
throws org.processmining.framework.connections.ConnectionCannotBeObtained,
java.lang.InterruptedException,
java.util.concurrent.ExecutionException
org.processmining.framework.connections.ConnectionCannotBeObtainedjava.lang.InterruptedExceptionjava.util.concurrent.ExecutionExceptionpublic java.lang.Object[] convertToPetrinet(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts,
boolean manipulateFutureResults)
throws org.processmining.framework.connections.ConnectionCannotBeObtained,
java.lang.InterruptedException,
java.util.concurrent.ExecutionException
org.processmining.framework.connections.ConnectionCannotBeObtainedjava.lang.InterruptedExceptionjava.util.concurrent.ExecutionException