public class Petrinet
extends java.lang.Object
Constructor and Description |
---|
Petrinet(java.lang.String label,
Place startPlace) |
Modifier and Type | Method and Description |
---|---|
java.util.UUID |
getID() |
java.lang.String |
getLabel() |
java.util.Collection<Node> |
getNodes() |
Place |
getStartPlace() |