petrinet_check_relaxed_soundness: Check Relaxed soundness property
In pm4py: Interface to the 'PM4py' Process Mining Library

Description Usage Arguments Value Examples

Checks if the Petri net is relaxed sound

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

`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.

A single logical

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)

}