public class ReachFinalMarkingVerification
extends java.lang.Object
Constructor and Description |
---|
ReachFinalMarkingVerification() |
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) |
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)
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)
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)
alignment
- net
- initMarking
- finalMarkings
-