petrinet_synchronous_product: Synchronous product Petri net

In fmannhardt/pm4py: Interface to the 'PM4py' Process Mining Library

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.

fmannhardt/pm4py documentation built on July 21, 2023, 10:55 p.m.