Package jline.api.wfn

package jline.api.wfn

Workflow Net (WF-net) analysis for LINE.

This package provides the WorkflowNet class for modeling and analyzing workflow nets (van der Aalst, 1997) for performance analysis. Workflow nets are Petri nets with a single source place, a single sink place, and the property that every node is on a path from the source to the sink.

Key features:

• Structural validation (single source, single sink, strong connectivity)
• Soundness checking via reachability graph analysis
• Cycle time computation (exact for exponential/PH timing)
• Resource-constrained analysis via compilation to Network models
• PNML import/export

References:

• W.M.P. van der Aalst, "Modeling Workflows with Petri Nets: A Survey", 1997.
• W.M.P. van der Aalst, "The Application of Petri Nets to Workflow Management", 1998.

MATLAB twin: matlab/src/api/wfn/. Python twin: python/line_solver/api/wfn/.

Related Packages

Package	Description
jline.api	Procedural algorithms for solving stochastic models and analyzing queueing systems.

Classes

Class	Description
CaseMetrics	Case-level metrics of a compiled Workflow Net, returned by WorkflowNet.getCaseMetrics(jline.solvers.NetworkSolver).
CycleTimeAnalysis	Exact single-case analysis of a sound Workflow Net, returned by WorkflowNet.getCycleTimeAnalysis().
ResourceLoads	Per-resource load of an open stream of cases, returned by WorkflowNet.getResourceLoads(double).
SoundnessReport	Result of WorkflowNet.checkSoundness(int, double).
WFNArc	An arc of a Workflow Net, from a place to a transition or from a transition to a place, with a positive integer weight (multiplicity).
WFNNode	Common base of the places and transitions of a WorkflowNet.
WFNPlace	A place in a Workflow Net.
WFNResource	A shared resource of a Workflow Net.
WFNTransition	A transition (task) of a Workflow Net.
WorkflowNet	A Workflow Net (WF-net) model for performance analysis.