Building, Visualizing, Exporting and Replaying Petri Nets
![[R logo]](../../../doc/html/Rlogo.svg)
![[Up]](../../../doc/html/left.jpg)
![[Top]](../../../doc/html/up.jpg)
Documentation for package ‘petrinetR’ version 0.3.0
Help Pages
| add_flows | Utils |
| add_places | Utils |
| add_transitions | Utils |
| create_marked_PN | Create marked Petri Net |
| create_PN | Create Petri Net |
| enabled | Enabled transitions |
| enabled_transition | Enabled Transition |
| execute | Execute |
| final_marking | Final Marking |
| flows | Flows |
| flows.marked_petrinet | Flows |
| flows.petrinet | Flows |
| initial_marking | Initial Marking |
| is_node | Is node |
| is_place | Is place |
| is_transition | Is transition |
| marked_petrinet | Marked petrinet |
| marking | Marking |
| nodes | Get nodes from (marked) petrinet |
| n_flows | Utils |
| n_nodes | Utils |
| n_places | Utils |
| n_transitions | Utils |
| parsel_trace | Parse (logical) |
| parse_trace | Parse |
| part_of | Part of |
| petrinet | Ppetrinet |
| petrinetR | petrinetR - Building, visualizing, exporting and replaying Petri Nets |
| places | Places |
| places.marked_petrinet | Places |
| places.petrinet | Places |
| post_set | Postset |
| pre_set | Preset |
| read_PN | Read .PNML file |
| rename_places | Utils |
| rename_transitions | Utils |
| render_PN | Render Petri Net |
| transitions | Transitions |
| transitions.marked_petrinet | Transitions |
| transitions.petrinet | Transitions |
| visNetwork_from_PN | VisNetwork from PN |