pm4py (version 1.2.7)

petrinet_check_relaxed_soundness: Check Relaxed soundness property

Description

Checks if the Petri net is relaxed sound

Usage

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

# NOT RUN {
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)

}
# }