Check Relaxed soundness property

Checks if the Petri net is relaxed sound

petrinet_check_relaxed_soundness(pn, im = NULL, fm = NULL, convert = TRUE)

Arguments

pn	Petri net
im	Initial marking of the Petri net (optional for workflow nets)
fm	Final marking of the Petri net (optional for workflow nets)
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

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_relaxed_soundness(net$petrinet)

}
#> [1] TRUE