create_PN               Create Petri Net
create_marked_PN        Create marked Petri Net
enabled                 Enabled transitions
enabled_transition      Enabled Transition
execute                 Execute
final_marking           Final Marking
flows                   Flows
initial_marking         Initial Marking
is_node                 Is node
is_place                Is place
is_transition           Is transition
marked_petrinet         Marked petrinet
marking                 Marking
n_places                Utils
nodes                   Get nodes from (marked) petrinet
parse_trace             Parse
parsel_trace            Parse (logical)
part_of                 Part of
petrinet                Ppetrinet
petrinetR               petrinetR - Building, visualizing, exporting
                        and replaying Petri Nets
places                  Places
post_set                Postset
pre_set                 Preset
read_PN                 Read .PNML file
render_PN               Render Petri Net
transitions             Transitions
visNetwork_from_PN      VisNetwork from PN
