petrinet_check_wfnet: Check Workflow net property

Description Usage Arguments Value Examples

View source: R/petrinet.R

Description

Checks if the Petri net is a Workflow net

Usage

1
petrinet_check_wfnet(pn, convert = TRUE)

Arguments

pn

Petri net

convert

TRUE to automatically convert Python objects to their R equivalent. If you pass FALSE you can do manual conversion using the r-py-conversion function.

Value

A single logical

Examples

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
if (pm4py_available()) {
  library(eventdataR)
  data(patients)

  # As Inductive Miner of PM4PY is not life-cycle aware, keep only `complete` events:
  patients_completes <- patients[patients$registration_type == "complete", ]

  net <- discovery_inductive(patients_completes)
  petrinet_check_wfnet(net$petrinet)

}

pm4py documentation built on Jan. 8, 2020, 1:08 a.m.