org.jbpt.petri

Class Transition

java.lang.Object

org.jbpt.hypergraph.abs.GObject

org.jbpt.hypergraph.abs.Vertex

org.jbpt.petri.Node

org.jbpt.petri.Transition

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IEntity, IGObject, IVertex, INode, ITransition

public class Transition
extends Node
implements ITransition

Implementation of a Petri net transition.

Author:

Artem Polyvyanyy

Constructor Summary

Constructors

Constructor and Description
Transition()
Transition(String name)
Transition(String name, String label)
Transition(String name, String label, String desc)

Method Summary

Methods

Modifier and Type	Method and Description
ITransition	clone() Clone this Petri net node.
boolean	isObservable() Check if this transition is observable.
boolean	isSilent() Check if this transition is silent.

Methods inherited from class org.jbpt.petri.Node

getLabel, setLabel

Methods inherited from class org.jbpt.hypergraph.abs.Vertex

getHeight, getWidth, getX, getY, setHeight, setLayout, setLocation, setSize, setWidth, setX, setY

Methods inherited from class org.jbpt.hypergraph.abs.GObject

compareTo, equals, getDescription, getId, getName, getTag, hashCode, setDescription, setId, setName, setTag, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.jbpt.petri.INode

getLabel, setLabel

Methods inherited from interface org.jbpt.hypergraph.abs.IVertex

getHeight, getWidth, getX, getY, setHeight, setLayout, setLocation, setSize, setWidth, setX, setY

Methods inherited from interface org.jbpt.hypergraph.abs.IGObject

getDescription, getId, getName, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

Transition

public Transition()

Transition

public Transition(String name)

Transition

public Transition(String name,
          String label)

Transition

public Transition(String name,
          String label,
          String desc)

Method Detail

isSilent

public boolean isSilent()

Description copied from interface: ITransition

Check if this transition is silent.

Specified by:

isSilent in interface ITransition

Returns:

true if label of this transition is the empty string; otherwise false.

isObservable

public boolean isObservable()

Description copied from interface: ITransition

Check if this transition is observable.

Specified by:

isObservable in interface ITransition

Returns:

true if label of this transition is not the empty string; otherwise false.

clone

public ITransition clone()

Description copied from interface: INode

Clone this Petri net node.

Specified by:

clone in interface IEntity

Specified by:

clone in interface INode

Specified by:

clone in interface ITransition

Overrides:

clone in class Node