org.processmining.plugins.transitionsystem.regions

Class TransitionSystem2Petrinet

java.lang.Object

org.processmining.plugins.transitionsystem.regions.TransitionSystem2Petrinet

public class TransitionSystem2Petrinet
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TransitionSystem2Petrinet()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TransitionSystem2Petrinet

public TransitionSystem2Petrinet()

Method Detail

convertToPetrinet

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

java.lang.InterruptedException

java.util.concurrent.ExecutionException

convertToPetrinet

public 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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

java.lang.InterruptedException

java.util.concurrent.ExecutionException