io.kagera.api.colored
A Place in a colored petri net.
The unique identifier of this place.
A unique identifier.
A human readable label of this place.
The label.
A Place in a colored petri net.