org.processmining.hybrid.execsemantics.experimental.impl.PN

Class ExpReachability

java.lang.Object

org.processmining.hybrid.execsemantics.experimental.impl.PN.ExpReachability

public class ExpReachability
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ExpReachability(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, java.util.Collection<java.lang.String> skippableSubprocesses)

Method Summary

Modifier and Type	Method and Description
void	fillDataStructures()
boolean	isReachable(org.processmining.models.semantics.petrinet.Marking start, org.processmining.models.semantics.petrinet.Marking end)
boolean	isReachableParitalMarking(org.processmining.models.semantics.petrinet.Marking start, org.processmining.models.semantics.petrinet.Marking partial)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpReachability

public ExpReachability(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
                       java.util.Collection<java.lang.String> skippableSubprocesses)

Method Detail

fillDataStructures

public void fillDataStructures()

isReachable

public boolean isReachable(org.processmining.models.semantics.petrinet.Marking start,
                           org.processmining.models.semantics.petrinet.Marking end)

isReachableParitalMarking

public boolean isReachableParitalMarking(org.processmining.models.semantics.petrinet.Marking start,
                                         org.processmining.models.semantics.petrinet.Marking partial)