wfn_place.h File Reference

A place of a WorkflowNet. More...

#include <cstddef>
#include <string>
#include "line/util/error.h"

Include dependency graph for wfn_place.h:

Go to the source code of this file.

Classes
class	line::wfn::WFNPlace

Namespaces
namespace	line
	Conservation laws of a layered queueing network, enumerated from its structure.
namespace	line::wfn

Detailed Description

A place of a WorkflowNet.

The initial marking is informational: every analysis of the net starts from k tokens in the source place, as WF-net soundness does.

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

Definition in file wfn_place.h.