org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.rpstwrapper

Class RPSTConsultant

java.lang.Object

org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.rpstwrapper.RPSTConsultant

public class RPSTConsultant
extends java.lang.Object

Assumption: A-All arcs are weighed 1 B-The net is sound workflow net (one entry node and one exit node is required by the implementation of RPST)

Author:

aadrians

Constructor Summary

Constructors

Constructor and Description
RPSTConsultant(RPSTTreeWrapper rpst) Default constructor

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Set<org.deckfour.xes.classification.XEventClass>	getImpossibleSuccessors(java.lang.Integer encMarking, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, EncPNWSetFinalMarkings encodedPN, java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass) Get xevent class that could have never occur, given a marking Status: not implemented yet
java.util.Map<java.lang.Integer,java.lang.Integer>	getRequiredSuccessors(java.lang.Integer encMarking, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, EncPNWSetFinalMarkings encodedPN) public method to get required successors (XEventClass), given a marking

Methods inherited from class java.lang.Object

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

Constructor Detail

RPSTConsultant

public RPSTConsultant(RPSTTreeWrapper rpst)

Default constructor

Parameters:

rpst -

Method Detail

getRequiredSuccessors

public java.util.Map<java.lang.Integer,java.lang.Integer> getRequiredSuccessors(java.lang.Integer encMarking,
                                                                       java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
                                                                       EncPNWSetFinalMarkings encodedPN)

public method to get required successors (XEventClass), given a marking

Parameters:

encMarking -

mapInt2Marking -

encodedPN -

mapEncTrans2EvClass -

Returns:

getImpossibleSuccessors

public java.util.Set<org.deckfour.xes.classification.XEventClass> getImpossibleSuccessors(java.lang.Integer encMarking,
                                                                                 java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
                                                                                 EncPNWSetFinalMarkings encodedPN,
                                                                                 java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)

Get xevent class that could have never occur, given a marking Status: not implemented yet

Parameters:

encMarking -

mapInt2Marking -

encodedPN -

mapEncTrans2EvClass -

Returns: