won.protocol.agreement.petrinet

Class PetriNetUris

java.lang.Object

won.protocol.agreement.petrinet.PetriNetUris

public class PetriNetUris
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PetriNetUris()

Method Summary

Modifier and Type	Method and Description
java.util.Set<java.net.URI>	getEnabledTransitions()
java.util.Set<java.net.URI>	getMarkedPlaces()
java.net.URI	getProcessURI()
void	setEnabledTransitions(java.util.Set<java.net.URI> enabledTransitions)
void	setMarkedPlaces(java.util.Set<java.net.URI> markedPlaces)
void	setPetriNetURI(java.net.URI processURI)

Methods inherited from class java.lang.Object

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

Constructor Detail

PetriNetUris

public PetriNetUris()

Method Detail

getProcessURI

public java.net.URI getProcessURI()

setPetriNetURI

public void setPetriNetURI(java.net.URI processURI)

getEnabledTransitions

public java.util.Set<java.net.URI> getEnabledTransitions()

setEnabledTransitions

public void setEnabledTransitions(java.util.Set<java.net.URI> enabledTransitions)

getMarkedPlaces

public java.util.Set<java.net.URI> getMarkedPlaces()

setMarkedPlaces

public void setMarkedPlaces(java.util.Set<java.net.URI> markedPlaces)