won.protocol.agreement.petrinet

Class PetriNetState

java.lang.Object

won.protocol.agreement.petrinet.PetriNetState

public class PetriNetState
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PetriNetState(java.net.URI petrinetURI, uk.ac.imperial.pipe.models.petrinet.PetriNet petriNet)

Method Summary

Modifier and Type	Method and Description
void	fireTransition(java.net.URI transitionURI)
java.util.Set<java.net.URI>	getEnabledTransitions() Returns the set of URIs associatied with all enabled transitions.
java.util.Set<java.net.URI>	getMarkedPlaces() Returns the set of URIs associatied with all marked places.
java.net.URI	getPetriNetURI()
java.util.Set<java.net.URI>	getPlaces()
java.util.Set<java.net.URI>	getTransitions()

Methods inherited from class java.lang.Object

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

Constructor Detail

PetriNetState

public PetriNetState(java.net.URI petrinetURI,
                     uk.ac.imperial.pipe.models.petrinet.PetriNet petriNet)

Method Detail

getMarkedPlaces

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

Returns the set of URIs associatied with all marked places. Nothing is reported for places that are not associatied with a URI.

getEnabledTransitions

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

Returns the set of URIs associatied with all enabled transitions. Nothing is reported for transitions that are not associatied with a URI.

fireTransition

public void fireTransition(java.net.URI transitionURI)

getPlaces

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

getTransitions

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

getPetriNetURI

public java.net.URI getPetriNetURI()