org.processmining.plugins.pnalignanalysis.conformance

Class ReachFinalMarkingVerification

java.lang.Object

org.processmining.plugins.pnalignanalysis.conformance.ReachFinalMarkingVerification

public class ReachFinalMarkingVerification
extends java.lang.Object

Author:

aadrians Jan 9, 2012

Constructor Summary

Constructors

Constructor and Description
ReachFinalMarkingVerification()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	verifyFinalMarkingReachability(org.processmining.plugins.petrinet.replayresult.PNRepResult alignment, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings) main method to check final marking is reachable by firing only model moves
java.lang.String	verifyFinalMarkingReachable(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.plugins.petrinet.replayresult.PNRepResult alignment, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
java.lang.String	verifyFinalMarkingReachable(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.plugins.petrinet.replayresult.PNRepResult alignment, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking finalMarking)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachFinalMarkingVerification

public ReachFinalMarkingVerification()

Method Detail

verifyFinalMarkingReachable

public java.lang.String verifyFinalMarkingReachable(org.processmining.contexts.uitopia.UIPluginContext context,
                                           org.processmining.plugins.petrinet.replayresult.PNRepResult alignment,
                                           org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                           org.processmining.models.semantics.petrinet.Marking initMarking,
                                           org.processmining.models.semantics.petrinet.Marking finalMarking)

verifyFinalMarkingReachable

public java.lang.String verifyFinalMarkingReachable(org.processmining.contexts.uitopia.UIPluginContext context,
                                           org.processmining.plugins.petrinet.replayresult.PNRepResult alignment,
                                           org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

verifyFinalMarkingReachability

public boolean verifyFinalMarkingReachability(org.processmining.plugins.petrinet.replayresult.PNRepResult alignment,
                                     org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                     org.processmining.models.semantics.petrinet.Marking initMarking,
                                     org.processmining.models.semantics.petrinet.Marking[] finalMarkings)

main method to check final marking is reachable by firing only model moves

Parameters:

alignment -

net -

initMarking -

finalMarkings -

Returns: