com.bigbross.bossa.wfnet
Class Transition

java.lang.Object
  com.bigbross.bossa.wfnet.Transition

All Implemented Interfaces:

Serializable

public class Transition

extends Object

implements Serializable

This class represents the definition of a transition.

Author:

BigBross Team

See Also:

Serialized Form

Method Summary

String	getId() Returns the id of this transition.
void	input(Place p, String expression) Creates an input edge connecting a place to this transition.
void	output(Place p, String expression) Creates an output edge connecting this transition to a place.

Methods inherited from class java.lang.Object

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

Method Detail

getId

public String getId()

Returns the id of this transition.

Returns:

the id of this transition.

input

public void input(Place p,
                  String expression)

Creates an input edge connecting a place to this transition. An input edge ties the firing of this transition to the availability in the place of a number of tokens given by an integer weight expression.

Parameters:

p - the place.

expression - the weight expression.

output

public void output(Place p,
                   String expression)

Creates an output edge connecting this transition to a place. An output edge produces in the place, after the firing of this transition, a number of tokens given by an integer weight expression.

Parameters:

p - the place.

expression - the weight expression.