Package jline.api.wfn

Class WFNPlace

java.lang.Object

jline.api.wfn.WFNNode

jline.api.wfn.WFNPlace

public class WFNPlace
extends WFNNode

A place in a Workflow Net.

A place holds the tokens that enable transitions. Its initial marking is informational: the analyses of WorkflowNet always start from k tokens in the source place, as WF-net soundness does.

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

Constructor Summary

Constructors

Constructor	Description
WFNPlace(WorkflowNet workflowNet, String name)	Create a new WFNPlace without tokens.
WFNPlace(WorkflowNet workflowNet, String name, int initialMarking)	Create a new WFNPlace.

Method Summary

Modifier and Type	Method	Description
int	getInitialMarking()
Place	getNetworkPlace()
void	setInitialMarking(int marking)

Methods inherited from class jline.api.wfn.WFNNode

getIndex, getName, getWorkflowNet, toString

Methods inherited from class java.lang.Object

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

Constructor Details

WFNPlace

public WFNPlace(WorkflowNet workflowNet,
 String name,
 int initialMarking)

Create a new WFNPlace.

Parameters:

workflowNet - parent WorkflowNet

name - place name

initialMarking - initial token count

WFNPlace

public WFNPlace(WorkflowNet workflowNet,
 String name)

Create a new WFNPlace without tokens.

Parameters:

workflowNet - parent WorkflowNet

name - place name

Method Details

getInitialMarking

public int getInitialMarking()

setInitialMarking

public void setInitialMarking(int marking)

getNetworkPlace

public Place getNetworkPlace()