Read .PNML file
read_PN(file, add_final_marking = TRUE)
file
Path to .pnml file
add_final_marking
logical (default: TRUE): add final marking. If TRUE, all places without outgoing flows are considered part of a single final marking. Overwrite with set_final_marking() if needed. If FALSE, final_marking is set to NULL
logical
TRUE
FALSE
NULL
A codemarked_petrinet