procope.data.petrinets
Class Arc

java.lang.Object
  extended by procope.data.petrinets.Arc

public class Arc
extends Object

Represents one arc in a Petri net (the connection between a place and a transition). It consists of the place ID it is associated with and optionally a set of annotations for that edge represented as key/value pairs.

Author:
Jan Krumsiek

Constructor Summary
Arc(String place)
          Creates an arc to a given place
Arc(String place, Map<String,String> attributes)
          Creates an arc to a given places having a specified set of attributes
 
Method Summary
 Map<String,String> getAttributes()
          Returns the attributes of this arc
 String getPlaceID()
          Returns the ID of the place associated with this arc
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Arc

public Arc(String place)
Creates an arc to a given place

Parameters:
place - place to which this arc leads

Arc

public Arc(String place,
           Map<String,String> attributes)
Creates an arc to a given places having a specified set of attributes

Parameters:
place - place to which this arc leads
attributes - attributes for that arc
Method Detail

getPlaceID

public String getPlaceID()
Returns the ID of the place associated with this arc

Returns:
ID of the place for this arc

getAttributes

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

Returns:
attributes of this arc