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 |
parsel_trace | Parse (logical) |
parse_trace | Parse |
part_of | Part of |
petrinetR | petrinetR - Building, visualizing, exporting and replaying... |
places | Places |
post_set | Postset |
pre_set | Preset |
print.petrinet | Generic print function for petrinet |
read_PN | Read PNML |
render_PN | Render Petri Net |
transitions | Transitions |
tree_to_PN | tree_to_PN |
Utils | Utils |
visNetwork_from_PN | VisNetwork from PN |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.