Package org.oristool.petrinet

Class Place

java.lang.Object

org.oristool.util.Featurizable<PlaceFeature>

org.oristool.petrinet.Place

public final class Place
extends Featurizable<PlaceFeature>

Place 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 place.
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 place.

Returns:

name of the place

toString

public String toString()

Overrides:

toString in class Featurizable<PlaceFeature>