procope.data.petrinets
Class Transition

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

public class Transition
extends Object

Represents one transition in a Petri net. It consists of a set of input and output arcs and optionally a set of attributes given as key/value pairs.

Author:
Jan Krumsiek
See Also:
PetriNetCreator

Constructor Summary
Transition(Arc[] in, Arc[] out)
          Create transition consisting of given sets of input and output arcs
Transition(Arc[] in, Arc[] out, Map<String,String> attributes)
          Create transition consisting of given sets of input and output arcs and a map of attributes
 
Method Summary
 Map<String,String> getAttributes()
          Returns the attributes associated with this transition.
 Arc[] getIn()
          Returns the input arcs for this transition.
 Arc[] getOut()
          Returns the output arcs for this transition
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Transition

public Transition(Arc[] in,
                  Arc[] out)
Create transition consisting of given sets of input and output arcs

Parameters:
in - array of input arcs
out - array of output arcs

Transition

public Transition(Arc[] in,
                  Arc[] out,
                  Map<String,String> attributes)
Create transition consisting of given sets of input and output arcs and a map of attributes

Parameters:
in - array of input arcs
out - array of output arcs
attributes - attributes for that transition
Method Detail

getAttributes

public Map<String,String> getAttributes()
Returns the attributes associated with this transition.

Returns:
attributes for this transition

getIn

public Arc[] getIn()
Returns the input arcs for this transition.

Returns:
array of input arcs for this transition

getOut

public Arc[] getOut()
Returns the output arcs for this transition

Returns:
array of output arcs for this transition