|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectprocope.data.petrinets.Place
public class Place
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.
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 |
---|
public Place(String id)
id
- identifier for that placepublic Place(String id, Map<String,String> attributes)
id
- identifier for that placeattributes
- attributes for that placeMethod Detail |
---|
public String getID()
public Map<String,String> getAttributes()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |