wfn Directory Reference

Directory dependency graph for wfn:

Files
	soundness_report.h
	The report of WorkflowNet::check_soundness.
	wfn_arc.h
	An arc of a WorkflowNet, from a place to a transition or from a transition to a place.
	wfn_place.h
	A place of a WorkflowNet.
	wfn_resource.h
	A resource shared by the tasks of a WorkflowNet that name it, and by every case.
	wfn_transition.h
	A transition (task) of a WorkflowNet.
	workflow_net.h
	A Workflow Net (WF-net) model for performance analysis.