Building, Visualizing, Exporting and Replaying Petri Nets


[Up] [Top]

Documentation for package ‘petrinetR’ version 0.2.1

Help Pages

petrinetR-package petrinetR - Building, visualizing, exporting and replaying Petri Nets
add_flows Utils
add_places Utils
add_transitions Utils
create_PN Create Petri Net
enabled Enabled transitions
enabled_transition Enabled Transition
execute Execute
flows Flows
is_place Is place
is_transition Is transition
marking Marking
nodes Utils
n_flows Utils
n_nodes Utils
n_places Utils
n_transitions Utils
parsel_trace Parse (logical)
parse_trace Parse
part_of Part of
petrinetR petrinetR - Building, visualizing, exporting and replaying Petri Nets
places Places
post_set Postset
pre_set Preset
print.petrinet Generic print function for petrinet
read_PN Read PNML
rename_places Utils
rename_transitions Utils
render_PN Render Petri Net
transitions Transitions
tree_to_PN tree_to_PN
visNetwork_from_PN VisNetwork from PN