Package jline.api.wfn

Class WFNResource

java.lang.Object

jline.api.wfn.WFNResource

public class WFNResource
extends Object

A shared resource of a Workflow Net.

A resource is shared by every task that names it and by every case: a task holding the resource can fire only while one of its servers is free. Assign it with WorkflowNet.setResource(WFNTransition, String, Integer, SchedStrategy).

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

Constructor Summary

Constructors

Constructor	Description
WFNResource(String name)	Create a new resource with one FCFS server.
WFNResource(String name, int servers, SchedStrategy scheduling)	Create a new resource.

Method Summary

Modifier and Type	Method	Description
String	getName()
SchedStrategy	getScheduling()
int	getServers()
void	setName(String name)
void	setScheduling(SchedStrategy scheduling)
void	setServers(int servers)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

WFNResource

public WFNResource(String name)

Create a new resource with one FCFS server.

Parameters:

name - resource name

WFNResource

public WFNResource(String name,
 int servers,
 SchedStrategy scheduling)

Create a new resource.

Parameters:

name - resource name

servers - number of servers

scheduling - scheduling strategy

Method Details

getName

public String getName()

setName

public void setName(String name)

getServers

public int getServers()

setServers

public void setServers(int servers)

getScheduling

public SchedStrategy getScheduling()

setScheduling

public void setScheduling(SchedStrategy scheduling)

toString

public String toString()

Overrides:

toString in class Object