Package org.oristool.petrinet

Class InhibitorArc

java.lang.Object

org.oristool.util.Featurizable<InhibitorArcFeature>

org.oristool.petrinet.InhibitorArc

public final class InhibitorArc
extends Featurizable<InhibitorArcFeature>

An inhibitor arc connecting a place to a transition.

The transition will be enabled only if the place contains fewer tokens than the multiplicity of the inhibitor arc.

This class implements the interface TransitionFeature to be added dynamically as feature to any Transition.

Field Summary

Fields inherited from class org.oristool.util.Featurizable

features

Method Summary

Modifier and Type	Method	Description
int	getMultiplicity()	Returns the multiplicity of the inhibitor arc.
Place	getPlace()	Returns the inhibitor place.
Transition	getTransition()	Returns the target transition.
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

getPlace

public Place getPlace()

Returns the inhibitor place.

Returns:

inhibitor place

getTransition

public Transition getTransition()

Returns the target transition.

Returns:

target transition

getMultiplicity

public int getMultiplicity()

Returns the multiplicity of the inhibitor arc.

Returns:

multiplicity

toString

public String toString()

Overrides:

toString in class Featurizable<InhibitorArcFeature>