Become an expert in R — Interactive courses, Cheat Sheets, certificates and more!
Get Started for Free
Documentation
R
pm4py

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

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)

}
pm4py

Interface to the 'PM4py' Process Mining Library

v1.2.7
GPL-3
Authors
Felix Mannhardt [aut, cre]
Initial release

We don't support your browser anymore

Please choose more modern alternatives, such as Google Chrome or Mozilla Firefox.