Package jline.api.wfn

Class WFNTransition

java.lang.Object

jline.api.wfn.WFNNode

jline.api.wfn.WFNTransition

public class WFNTransition
extends WFNNode

A transition (task) of a Workflow Net.

A timed transition fires after a delay drawn from its distribution; an immediate transition fires in zero time, and among the enabled immediate transitions only those of the highest priority fire, chosen with probability proportional to their weights. INFINITE_SERVERS (the default of WorkflowNet.addTransition(java.lang.String)) means the transition imposes no concurrency limit of its own.

MATLAB twin: matlab/src/api/wfn/WFNTransition.m.

Field Summary

Fields

Modifier and Type	Field	Description
static final int	INFINITE_SERVERS	Server count meaning "no concurrency limit" (MATLAB Inf)

Constructor Summary

Constructors

Constructor	Description
WFNTransition(WorkflowNet workflowNet, String name, Distribution distribution, TimingStrategy timing, int servers, int priority, double weight)	Create a new WFNTransition.

Method Summary

Modifier and Type	Method	Description
Distribution	getDistribution()
Transition	getNetworkTransition()
int	getPriority()
WFNResource	getResource()
int	getServers()
TimingStrategy	getTiming()
double	getWeight()
WorkflowActivity	getWorkflowActivity()
boolean	hasFiniteServers()
boolean	isImmediate()
boolean	isTimed()
void	setDistribution(Distribution distribution)
void	setPriority(int priority)
void	setServers(int servers)
void	setTiming(TimingStrategy timing)
void	setWeight(double weight)
String	toString()

Methods inherited from class jline.api.wfn.WFNNode

getIndex, getName, getWorkflowNet

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

INFINITE_SERVERS

public static final int INFINITE_SERVERS

Server count meaning "no concurrency limit" (MATLAB Inf)

See Also:

• Constant Field Values

Constructor Details

WFNTransition

public WFNTransition(WorkflowNet workflowNet,
 String name,
 Distribution distribution,
 TimingStrategy timing,
 int servers,
 int priority,
 double weight)

Create a new WFNTransition.

Parameters:

workflowNet - parent WorkflowNet

name - transition name

distribution - firing-time distribution

timing - timing strategy

servers - number of servers (INFINITE_SERVERS for no limit)

priority - firing priority

weight - firing weight

Method Details

getDistribution

public Distribution getDistribution()

setDistribution

public void setDistribution(Distribution distribution)

getTiming

public TimingStrategy getTiming()

setTiming

public void setTiming(TimingStrategy timing)

getServers

public int getServers()

hasFiniteServers

public boolean hasFiniteServers()

Returns:

true unless the server count is INFINITE_SERVERS

setServers

public void setServers(int servers)

getPriority

public int getPriority()

setPriority

public void setPriority(int priority)

getWeight

public double getWeight()

setWeight

public void setWeight(double weight)

getResource

public WFNResource getResource()

getWorkflowActivity

public WorkflowActivity getWorkflowActivity()

getNetworkTransition

public Transition getNetworkTransition()

isTimed

public boolean isTimed()

isImmediate

public boolean isImmediate()

toString

public String toString()

Overrides:

toString in class WFNNode