pm4py (version 1.2.7)

petrinet_synchronous_product: Synchronous product Petri net

Description

Constructs the synchronous product net of two given Petri nets.

Usage

petrinet_synchronous_product(
  pn1,
  im1,
  fm1,
  pn2,
  im2,
  fm2,
  skip = ">>",
  convert = TRUE
)

Arguments

pn1

First Petri net

im1

Initial marking of the first Petri net

fm1

Final marking of the first Petri net

pn2

Second Petri net

im2

Initial marking of the second Petri net

fm2

Final marking of the second Petri net

skip

Symbol to be used as skip

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 Petri net.

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_synchronous_product(net$petrinet,
                               net$initial_marking,
                               net$final_marking,
                               net$petrinet,
                               net$initial_marking,
                               net$final_marking)
}

# }