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

Class RPSTTreeWrapper

java.lang.Object

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

public class RPSTTreeWrapper
extends java.lang.Object

This class wraps the RPST into a representation that helps determining for a given marking, 1. Which transitions need to be fired to reach proper termination. 2. Transitions that can never be fired anymore

Author:

aadrians

Constructor Summary

Constructors

Constructor and Description
RPSTTreeWrapper(EncPNWSetFinalMarkings codec) Default constructor, based on encoded petri net

Method Summary

Methods

Modifier and Type	Method and Description
RPSTNodeWSiblings	getRPSTNodeWSiblings(int source, int target) get node (with its sibling information) return null if no RPST node is found
java.util.Set<java.lang.Integer>	getSuccessorBond(RPSTNodeWSiblings bondNode) get transitions that need to be executed if the bondNode is visited

Methods inherited from class java.lang.Object

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

Constructor Detail

RPSTTreeWrapper

public RPSTTreeWrapper(EncPNWSetFinalMarkings codec)
                throws java.lang.Exception

Default constructor, based on encoded petri net

Parameters:

codec -

Throws:

java.lang.Exception

Method Detail

getRPSTNodeWSiblings

public RPSTNodeWSiblings getRPSTNodeWSiblings(int source,
                                     int target)

get node (with its sibling information) return null if no RPST node is found

Parameters:

source -

target -

Returns:

getSuccessorBond

public java.util.Set<java.lang.Integer> getSuccessorBond(RPSTNodeWSiblings bondNode)

get transitions that need to be executed if the bondNode is visited

Parameters:

bondNode -

Returns: