vanted.petrinetelements
Interface TransitionListener
- All Known Implementing Classes:
- PNJFern
public interface TransitionListener
The listener interface for receiving transition events.
The class that is interested in processing a transition
event implements this interface, and the object created
with that class is registered with a component using the
component's addTransitionListener method. When
the transition event occurs, that object's appropriate
method is invoked.
- Author:
- Kevin Pucknat
fire
void fire(Transition transition)
- Fire.
- Parameters:
transition
- the transition
isEnabled
boolean isEnabled(Transition transition)
- Checks if is enabled.
- Parameters:
transition
- the transition
- Returns:
- true, if is enabled