petrinet_check_relaxed_soundness: Check Relaxed soundness property
In fmannhardt/pm4py: Interface to the 'PM4py' Process Mining Library
petrinet_check_relaxed_soundness R Documentation
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
fmannhardt/pm4py documentation built on July 21, 2023, 10:55 p.m.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
| petrinet_check_relaxed_soundness | R Documentation |
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 |
|
Value
A single logical
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.