Package | Description |
---|---|
edu.upc.essi.petrinets |
Modifier and Type | Class and Description |
---|---|
class |
Place |
class |
Transition |
Modifier and Type | Method and Description |
---|---|
Node |
Arc.getSource() |
Node |
Arc.getTarget() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Node> |
Petrinet.getNodes() |
Constructor and Description |
---|
Arc(Node source,
Node target) |
InhibitorArc(Node source,
Node target) |