Package org.processmining.placebasedlpmdiscovery.model

Class Place

java.lang.Object

org.processmining.placebasedlpmdiscovery.model.Place

All Implemented Interfaces:

java.io.Serializable, TextDescribable

public class Place
extends java.lang.Object
implements java.io.Serializable, TextDescribable

The place class is used to represent the logic for a place in a PetriNet.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
Place()
Place(java.lang.String id)

Method Summary

Modifier and Type	Method	Description
void	addInputTransition(Transition transition)
void	addOutputTransition(Transition transition)
boolean	covers(Place p)
boolean	equals(java.lang.Object o)
PlaceAdditionalInfo	getAdditionalInfo()
java.lang.String	getId()
java.util.Set<Transition>	getInputTransitions()
int	getNumTokens()
java.util.Set<Transition>	getOutputTransitions()
java.lang.String	getShortString()
java.util.Set<Transition>	getSilentTransitions(boolean isInput)
int	hashCode()
boolean	isFinal()
boolean	isInputTransition(Transition transition)
boolean	isInputTransitionLabel(java.lang.String label)
boolean	isOutputTransition(Transition transition)
boolean	isOutputTransitionLabel(java.lang.String label)
boolean	isSelfLoop(java.lang.String label)
void	removeTransition(Transition transition, boolean asInput)
void	removeTransitions(java.lang.String transitionLabel)
void	removeTransitions(java.lang.String transitionLabel, boolean asInput)
void	setAdditionalInfo(PlaceAdditionalInfo additionalInfo)
void	setFinal(boolean aFinal)
void	setNumTokens(int numTokens)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Place

public Place()

Place

public Place(java.lang.String id)

Method Detail

isInputTransition

public boolean isInputTransition(Transition transition)

isOutputTransition

public boolean isOutputTransition(Transition transition)

isInputTransitionLabel

public boolean isInputTransitionLabel(java.lang.String label)

isOutputTransitionLabel

public boolean isOutputTransitionLabel(java.lang.String label)

getInputTransitions

public java.util.Set<Transition> getInputTransitions()

getOutputTransitions

public java.util.Set<Transition> getOutputTransitions()

getId

public java.lang.String getId()

addInputTransition

public void addInputTransition(Transition transition)

addOutputTransition

public void addOutputTransition(Transition transition)

getNumTokens

public int getNumTokens()

setNumTokens

public void setNumTokens(int numTokens)

isSelfLoop

public boolean isSelfLoop(java.lang.String label)

getShortString

public java.lang.String getShortString()

Specified by:

getShortString in interface TextDescribable

equals

public boolean equals(java.lang.Object o)

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

covers

public boolean covers(Place p)

removeTransition

public void removeTransition(Transition transition,
                             boolean asInput)

removeTransitions

public void removeTransitions(java.lang.String transitionLabel,
                              boolean asInput)

removeTransitions

public void removeTransitions(java.lang.String transitionLabel)

getAdditionalInfo

public PlaceAdditionalInfo getAdditionalInfo()

setAdditionalInfo

public void setAdditionalInfo(PlaceAdditionalInfo additionalInfo)

isFinal

public boolean isFinal()

setFinal

public void setFinal(boolean aFinal)

getSilentTransitions

public java.util.Set<Transition> getSilentTransitions(boolean isInput)