org.processmining.plugins.petrinet.reduction

Class MurataUtils

java.lang.Object

org.processmining.plugins.petrinet.reduction.MurataUtils

public class MurataUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MurataUtils()

Method Summary

Modifier and Type	Method and Description
static void	addArc(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.PetrinetNode source, org.processmining.models.graphbased.directed.petrinet.PetrinetNode target, int weight) Adds an arc with given source, target, and weight to the given net.
static void	resetPlace(org.processmining.models.semantics.petrinet.Marking marking, org.processmining.models.graphbased.directed.petrinet.elements.Place place) Remove all tokens from the given place in the given marking.
static void	updateLabel(org.processmining.models.graphbased.directed.petrinet.elements.Arc arc) Update the label of the given arc.
static void	updateLabel(org.processmining.models.graphbased.directed.petrinet.elements.Place place, org.processmining.models.semantics.petrinet.Marking marking) Update the label of the given place given the current marking.

Methods inherited from class java.lang.Object

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

Constructor Detail

MurataUtils

public MurataUtils()

Method Detail

updateLabel

public static void updateLabel(org.processmining.models.graphbased.directed.petrinet.elements.Arc arc)

Update the label of the given arc. Note that the arc weight is displayed on the arc, hence after changing the arc weight the label needs to be updated.

Parameters:

arc - The given arc.

updateLabel

public static void updateLabel(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
                               org.processmining.models.semantics.petrinet.Marking marking)

Update the label of the given place given the current marking. Added in case the marking needs to be inserted for some reason in the label of a place.

Parameters:

place - The given place.

marking - The current marking.

addArc

public static void addArc(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                          org.processmining.models.graphbased.directed.petrinet.PetrinetNode source,
                          org.processmining.models.graphbased.directed.petrinet.PetrinetNode target,
                          int weight)

Adds an arc with given source, target, and weight to the given net. However, if an arc from source to target already exists, the weight is added to the weight of this existing arc instead. This way, we enforce that there is only one regular arc from source to target.

Parameters:

net - The given net.

source - The given source.

target - The given target.

weight - The given weight.

resetPlace

public static void resetPlace(org.processmining.models.semantics.petrinet.Marking marking,
                              org.processmining.models.graphbased.directed.petrinet.elements.Place place)

Remove all tokens from the given place in the given marking.

Parameters:

marking - The given marking.

place - The given place.