Package org.processmining.modelrepair.plugins.uma

Class UmaPromUtil

java.lang.Object

org.processmining.modelrepair.plugins.uma.UmaPromUtil

public class UmaPromUtil
extends java.lang.Object

A helper class for converting ProM framework objects to objects of Uma and its supporting Petri Net API and back

Version:

Jun 20, 2010

Author:

Dirk Fahland

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	UmaPromUtil.ProMToUmaBridge

Constructor Summary

Constructors

Constructor	Description
UmaPromUtil()

Method Summary

Modifier and Type	Method	Description
static boolean	equalNets(hub.top.petrinet.PetriNet net1, hub.top.petrinet.PetriNet net2)
static void	main(java.lang.String[] args)
static void	printMessage(org.processmining.framework.plugin.PluginContext context, java.lang.String header, java.lang.String message)
static java.lang.String	test_UMA_PromUtil_conversion()
static UmaPromUtil.ProMToUmaBridge	toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking initMarking)
static hub.top.petrinet.PetriNet	toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking)
static hub.top.petrinet.PetriNet	toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking, java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,hub.top.petrinet.Transition> transitionMap)
static java.lang.Object[]	toPromFormat(hub.top.petrinet.PetriNet net, java.lang.String netLabel)
static org.processmining.models.semantics.petrinet.Marking	toPromFormat(java.util.Collection<hub.top.petrinet.Place> marking, java.util.Map<hub.top.petrinet.Node,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> nodeMap)
static java.util.LinkedList<java.lang.String[]>	toSimpleEventLog(org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClassifier classifier)
static java.lang.String[]	toSimpleEventTrace(org.deckfour.xes.model.XTrace trace, org.deckfour.xes.classification.XEventClassifier classifier)
static hub.top.uma.DNodeSys	toUmaFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking)
static org.deckfour.xes.model.XLog	toXLog(java.util.Collection<java.lang.String[]> simpleLog, java.lang.String logName)

Methods inherited from class java.lang.Object

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

Constructor Detail

UmaPromUtil

public UmaPromUtil()

Method Detail

toPromFormat

public static java.lang.Object[] toPromFormat(hub.top.petrinet.PetriNet net,
                                              java.lang.String netLabel)

Parameters:

net -

netLabel -

Returns:

an array of the Petrinet net and its initial marking converted to ProM format, and a mapping from net nodes to the converted net nodes, the converted net has the given netLabel

toPromFormat

public static org.processmining.models.semantics.petrinet.Marking toPromFormat(java.util.Collection<hub.top.petrinet.Place> marking,
                                                                               java.util.Map<hub.top.petrinet.Node,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> nodeMap)

toPNAPIFormat

public static hub.top.petrinet.PetriNet toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                      org.processmining.models.semantics.petrinet.Marking initMarking)

toPNAPIFormat

public static hub.top.petrinet.PetriNet toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                      org.processmining.models.semantics.petrinet.Marking initMarking,
                                                      java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,hub.top.petrinet.Transition> transitionMap)

toPNAPIFormat

public static UmaPromUtil.ProMToUmaBridge toPNAPIFormat(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                                        org.processmining.models.semantics.petrinet.Marking initMarking)

toUmaFormat

public static hub.top.uma.DNodeSys toUmaFormat(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                               org.processmining.models.semantics.petrinet.Marking initMarking)
                                        throws hub.top.uma.InvalidModelException

Throws:

hub.top.uma.InvalidModelException

toSimpleEventTrace

public static java.lang.String[] toSimpleEventTrace(org.deckfour.xes.model.XTrace trace,
                                                    org.deckfour.xes.classification.XEventClassifier classifier)

toSimpleEventLog

public static java.util.LinkedList<java.lang.String[]> toSimpleEventLog(org.deckfour.xes.model.XLog log,
                                                                        org.deckfour.xes.classification.XEventClassifier classifier)

toXLog

public static org.deckfour.xes.model.XLog toXLog(java.util.Collection<java.lang.String[]> simpleLog,
                                                 java.lang.String logName)

Parameters:

simpleLog -

logName -

Returns:

XLog representation of the simple log

equalNets

public static boolean equalNets(hub.top.petrinet.PetriNet net1,
                                hub.top.petrinet.PetriNet net2)

test_UMA_PromUtil_conversion

public static java.lang.String test_UMA_PromUtil_conversion()

main

public static void main(java.lang.String[] args)

printMessage

public static void printMessage(org.processmining.framework.plugin.PluginContext context,
                                java.lang.String header,
                                java.lang.String message)