Package org.oristool.petrinet

Class Transition

java.lang.Object

org.oristool.util.Featurizable<TransitionFeature>

org.oristool.petrinet.Transition

All Implemented Interfaces:

Event

public final class Transition
extends Featurizable<TransitionFeature>
implements Event

Transition of a Petri net.

Field Summary

Fields inherited from class org.oristool.util.Featurizable

features

Method Summary

Modifier and Type	Method	Description
String	getName()	Returns the name of this transition as the event name.
Variable	newVariableInstance()	Returns the variable associated with this transition.
static Set<Variable>	newVariableSetInstance(Set<Transition> transitions)	Variables associated with a set of transitions.
String	toString()

Methods inherited from class org.oristool.util.Featurizable

addFeature, getFeature, getFeatures, hasFeature, removeFeature

Methods inherited from class java.lang.Object

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

Method Details

getName

public String getName()

Returns the name of this transition as the event name.

Specified by:

getName in interface Event

Returns:

name of the place

toString

public String toString()

Overrides:

toString in class Featurizable<TransitionFeature>

newVariableInstance

public Variable newVariableInstance()

Returns the variable associated with this transition.

Returns:

variable for this transition

newVariableSetInstance

public static Set<Variable> newVariableSetInstance(Set<Transition> transitions)

Variables associated with a set of transitions.

Parameters:

transitions - input transitions

Returns:

associated variables