org.processmining.plugins.multietc.automaton

Class AutomatonNodeOrder

java.lang.Object

org.processmining.plugins.multietc.automaton.AutomatonNode

org.processmining.plugins.multietc.automaton.AutomatonNodeOrder

public class AutomatonNodeOrder
extends AutomatonNode

Author:

jmunoz

Field Summary

Fields inherited from class org.processmining.plugins.multietc.automaton.AutomatonNode

AVAIL_TASKS, ESCAPING_TASKS, MARKING, NUM_AVAIL_TASKS, NUM_ESCAPING_TASKS, NUM_NON_ESCAPING_TASKS, WEIGHT

Constructor Summary

Constructors

Constructor and Description
AutomatonNodeOrder(java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> f)

Method Summary

Methods

Modifier and Type	Method and Description
void	computeMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking iniM, java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> orig2new, java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> new2orig) Compute and set the marking of the node, considering the provided net and the provided initial marking.
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()

Methods inherited from class org.processmining.plugins.multietc.automaton.AutomatonNode

getAttribute, getAvailableTasks, getMarking, getWeight, putAttribute, setAvailableTasks, setMarking, setWeight

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AutomatonNodeOrder

public AutomatonNodeOrder(java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> f)

Method Detail

computeMarking

public void computeMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                  org.processmining.models.semantics.petrinet.Marking iniM,
                  java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> orig2new,
                  java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> new2orig)

Description copied from class: AutomatonNode

Compute and set the marking of the node, considering the provided net and the provided initial marking. The marking set refers to elements in the original Petri net (not the one provided).

Specified by:

computeMarking in class AutomatonNode

Parameters:

net - Net used to compute the marking (it could not be the original net)

iniM - Initial marking for the provided net (could not be the original initial marking)

orig2new - Map between Petrinet nodes of the original net to the one provived

new2orig - Map between Petrinet nodes in the provided net to the original one.

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object