Man pages for petrinetR
Building, Visualizing, Exporting and Replaying Petri Nets
| 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 |
| 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 |
| parsel_trace | Parse (logical) |
| parse_trace | Parse |
| part_of | Part of |
| petrinet | Ppetrinet |
| petrinetR | petrinetR - Building, visualizing, exporting and replaying... |
| places | Places |
| post_set | Postset |
| pre_set | Preset |
| read_PN | Read .PNML file |
| render_PN | Render Petri Net |
| transitions | Transitions |
| Utils | Utils |
| visNetwork_from_PN | VisNetwork from PN |
