edu.upc.essi.petrinets

Class Petrinet

java.lang.Object

edu.upc.essi.petrinets.Petrinet

public class Petrinet
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Petrinet(java.lang.String label, Place startPlace)

Method Summary

Modifier and Type	Method and Description
java.util.UUID	getID()
java.lang.String	getLabel()
java.util.Collection<Node>	getNodes()
Place	getStartPlace()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Petrinet

public Petrinet(java.lang.String label,
                Place startPlace)

Method Detail

getID

public java.util.UUID getID()

getLabel

public java.lang.String getLabel()

getStartPlace

public Place getStartPlace()

getNodes

public java.util.Collection<Node> getNodes()