pm4py.analysis.check_is_workflow_net

pm4py.analysis.check_is_workflow_net(net: PetriNet) → bool

Checks if the input Petri net satisfies the WF-net conditions: 1. unique source place 2. unique sink place 3. every node is on a path from the source to the sink

Parameters:

net (PetriNet) – petri net

Return type:

bool

import pm4py

net, im, fm = pm4py.read_pnml('model.pnml')
is_wfnet = pm4py.check_is_workflow_net(net, im, fm)