data.petrinets
Class Place

java.lang.Object
  extended by data.petrinets.Place

public class Place
extends Object

Represents one place in a Petri net. Each place has a unique string identifier and optinally a set of attributes given as key/value pairs.

Author:
Jan Krumsiek
See Also:
PetriNetCreator

Constructor Summary
Place(String id)
          Create place having the given string identifier
Place(String id, Map<String,String> attributes)
          Create places having the given string identifier and a set of attributes.
 
Method Summary
 Map<String,String> getAttributes()
          Returns the attributes of this place
 String getID()
          Returns the ID of this place
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Place

public Place(String id)
Create place having the given string identifier

Parameters:
id - identifier for that place

Place

public Place(String id,
             Map<String,String> attributes)
Create places having the given string identifier and a set of attributes.

Parameters:
id - identifier for that place
attributes - attributes for that place
Method Detail

getID

public String getID()
Returns the ID of this place

Returns:
ID of this place

getAttributes

public Map<String,String> getAttributes()
Returns the attributes of this place

Returns:
attributes of this place