org.processmining.datapetrinets.validation

Class ConvertToCPNTools

java.lang.Object

org.processmining.datapetrinets.validation.ConvertToCPNTools

public class ConvertToCPNTools
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ConvertToCPNTools()

Method Summary

Modifier and Type	Method and Description
static org.cpntools.accesscpn.model.PetriNet	convertFromPetriNet(org.processmining.contexts.uitopia.UIPluginContext context, DataPetriNet dpn)
static java.util.SortedSet<org.processmining.models.graphbased.directed.petrinet.elements.Place>	createMarking(org.processmining.framework.plugin.PluginContext context, DataPetriNet dpn, java.lang.String title)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConvertToCPNTools

public ConvertToCPNTools()

Method Detail

convertFromPetriNet

public static org.cpntools.accesscpn.model.PetriNet convertFromPetriNet(org.processmining.contexts.uitopia.UIPluginContext context,
                                                                        DataPetriNet dpn)
                                                                 throws java.lang.Exception

Throws:

java.lang.Exception

createMarking

public static java.util.SortedSet<org.processmining.models.graphbased.directed.petrinet.elements.Place> createMarking(org.processmining.framework.plugin.PluginContext context,
                                                                                                                      DataPetriNet dpn,
                                                                                                                      java.lang.String title)