org.processmining.plugins.petrinet.finalmarkingprovider

Class FinalMarkingFactory

java.lang.Object

org.processmining.plugins.petrinet.finalmarkingprovider.FinalMarkingFactory

public class FinalMarkingFactory
extends java.lang.Object

Author:

aadrians Nov 24, 2011

Constructor Summary

Constructors

Constructor and Description
FinalMarkingFactory()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Object[]	constructFinalMarking(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking finalMarking)
java.lang.Object[]	constructFinalMarking(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

Methods inherited from class java.lang.Object

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

Constructor Detail

FinalMarkingFactory

public FinalMarkingFactory()

Method Detail

constructFinalMarking

public java.lang.Object[] constructFinalMarking(org.processmining.contexts.uitopia.UIPluginContext context,
                                       org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

constructFinalMarking

public java.lang.Object[] constructFinalMarking(org.processmining.framework.plugin.PluginContext context,
                                       org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                       org.processmining.models.semantics.petrinet.Marking finalMarking)