API for petrinetR
Building, Visualizing, Exporting and Replaying Petri Nets

Global functions
add_flows Man page Source code
add_places Man page Source code
add_transitions Man page Source code
create_PN Man page Source code
create_marked_PN Man page Source code
enabled Man page Source code
enabled_transition Man page Source code
execute Man page Source code
final_marking Man page Source code Source code
flows Man page Source code
flows.marked_petrinet Man page Source code
flows.petrinet Man page Source code
initial_marking Man page Source code
initial_marking.marked_petrinet Source code
is_node Man page Source code
is_place Man page Source code
is_transition Man page Source code
label Source code
marked_petrinet Man page
marking Man page Source code
n_flows Man page Source code
n_nodes Man page Source code
n_places Man page Source code
n_transitions Man page Source code
nodes Man page Source code
nodes.petrinet Source code
parse_trace Man page Source code
parsel_trace Man page Source code
part_of Man page Source code
petrinet Man page
petrinetR Man page
places Man page Source code
places.marked_petrinet Man page Source code
places.petrinet Man page Source code
post_set Man page Source code
post_set.petrinet Source code
pre_set Man page Source code
pre_set.petrinet Source code
read_PN Man page Source code
rename_places Man page Source code
rename_transitions Man page Source code
render_PN Man page Source code
transitions Man page Source code
transitions.marked_petrinet Man page Source code
transitions.petrinet Man page Source code
visNetwork_from_PN Man page Source code
petrinetR documentation built on April 3, 2023, 5:21 p.m.