Uses of Class
jline.api.wfn.WorkflowNet

Packages that use WorkflowNet

Package	Description
jline.api.wfn	Workflow Net (WF-net) analysis for LINE.

Uses of WorkflowNet in jline.api.wfn

Methods in jline.api.wfn that return WorkflowNet

Modifier and Type	Method	Description
static WorkflowNet	WorkflowNet.fromNetwork(Network model)	Create a WorkflowNet from a LINE Petri net.
static WorkflowNet	WorkflowNet.fromPNML(String filename)	As fromPNML(String, String) reading the first net.
static WorkflowNet	WorkflowNet.fromPNML(String filename, String netName)	Create a WorkflowNet from a PNML file.
WorkflowNet	WFNArc.getWorkflowNet()
WorkflowNet	WFNNode.getWorkflowNet()

Constructors in jline.api.wfn with parameters of type WorkflowNet

Modifier	Constructor	Description
	WFNArc(WorkflowNet workflowNet, WFNNode source, WFNNode target, int weight)	Create a new WFNArc.
protected	WFNNode(WorkflowNet workflowNet, String name)	Create a new node.
	WFNPlace(WorkflowNet workflowNet, String name)	Create a new WFNPlace without tokens.
	WFNPlace(WorkflowNet workflowNet, String name, int initialMarking)	Create a new WFNPlace.
	WFNTransition(WorkflowNet workflowNet, String name, Distribution distribution, TimingStrategy timing, int servers, int priority, double weight)	Create a new WFNTransition.