Table of Contents - petri_net_2020-1.0.0 Documentation
Classes and Modules
- CoverabilityGraph
- CoverabilityGraph::Edge
- CoverabilityGraph::Node
- Object
- PetriNet
- PetriNet::Arc
- PetriNet::Base
- PetriNet::Graph
- PetriNet::Graph::Edge
- PetriNet::Graph::Node
- PetriNet::InfiniteReachabilityGraphError
- PetriNet::Marking
- PetriNet::Net
- PetriNet::Place
- PetriNet::Transition
- ReachabilityGraph
- ReachabilityGraph::Edge
- ReachabilityGraph::InfinityNode
- ReachabilityGraph::Node
Methods
- ::new — PetriNet::Arc
- ::new — PetriNet::Base
- ::new — CoverabilityGraph::Edge
- ::new — CoverabilityGraph
- ::new — CoverabilityGraph::Node
- ::new — PetriNet::Graph
- ::new — PetriNet::Graph::Edge
- ::new — PetriNet::Graph::Node
- ::new — PetriNet::Marking
- ::new — PetriNet::Net
- ::new — PetriNet::Place
- ::new — ReachabilityGraph::Edge
- ::new — ReachabilityGraph
- ::new — ReachabilityGraph::Node
- ::new — ReachabilityGraph::InfinityNode
- ::new — PetriNet::Transition
- #+ — PetriNet::Place
- #- — PetriNet::Place
- #<< — PetriNet::Graph
- #<< — PetriNet::Net
- #<=> — PetriNet::Arc
- #<=> — CoverabilityGraph::Node
- #<=> — PetriNet::Graph::Node
- #== — PetriNet::Graph::Edge
- #== — PetriNet::Place
- #== — PetriNet::Transition
- #activate! — PetriNet::Transition
- #activated? — PetriNet::Transition
- #add_arc — PetriNet::Net
- #add_destination — PetriNet::Arc
- #add_edge — PetriNet::Graph
- #add_input — PetriNet::Place
- #add_input — PetriNet::Transition
- #add_marking — PetriNet::Place
- #add_node — CoverabilityGraph
- #add_node — PetriNet::Graph
- #add_node — ReachabilityGraph
- #add_node! — PetriNet::Graph
- #add_node! — ReachabilityGraph
- #add_object — PetriNet::Graph
- #add_object — PetriNet::Net
- #add_omega — CoverabilityGraph::Node
- #add_omega — PetriNet::Graph::Node
- #add_output — PetriNet::Place
- #add_output — PetriNet::Transition
- #add_place — PetriNet::Net
- #add_source — PetriNet::Arc
- #add_transition — PetriNet::Net
- #best_path — PetriNet::Graph
- #changed_state — PetriNet::Net
- #changed_structure — PetriNet::Net
- #coverability_helper — PetriNet::Net
- #cycles — PetriNet::Graph
- #delta — PetriNet::Net
- #firable? — PetriNet::Transition
- #fire — PetriNet::Net
- #fire — PetriNet::Transition
- #generate_coverability_graph — PetriNet::Net
- #generate_delta — PetriNet::Net
- #generate_gv — PetriNet::Graph
- #generate_gv — PetriNet::Net
- #generate_reachability_graph — PetriNet::Net
- #generate_rgl — PetriNet::Graph
- #generate_weight_function — PetriNet::Net
- #get_arc — PetriNet::Net
- #get_edge — PetriNet::Graph
- #get_marking — PetriNet::Net
- #get_markings — PetriNet::Net
- #get_most_absolute_influence_on_path — PetriNet::Graph
- #get_most_relative_influence_on_path — PetriNet::Graph
- #get_node — PetriNet::Graph
- #get_nodes — PetriNet::Graph
- #get_object — PetriNet::Graph
- #get_object — PetriNet::Net
- #get_objects — PetriNet::Net
- #get_paths_without_loops — PetriNet::Graph
- #get_paths_without_loops_helper — PetriNet::Graph
- #get_place — PetriNet::Net
- #get_place_from_marking — PetriNet::Net
- #get_place_list — PetriNet::Net
- #get_rgl — PetriNet::Graph
- #get_transition — PetriNet::Net
- #gv_id — CoverabilityGraph::Node
- #gv_id — PetriNet::Graph::Node
- #gv_id — PetriNet::Place
- #gv_id — PetriNet::Transition
- #include_place — PetriNet::Graph::Node
- #infinite? — PetriNet::Graph
- #infinite? — PetriNet::Graph::Node
- #load — PetriNet::Net
- #merge — PetriNet::Net
- #need_update? — PetriNet::Arc
- #next_object_id — PetriNet::Base
- #node_probability — PetriNet::Graph
- #objects_find_index — PetriNet::Net
- #objects_include? — PetriNet::Net
- #objects_size — PetriNet::Net
- #ordinary? — PetriNet::Arc
- #ordinary? — PetriNet::Net
- #path_probability — PetriNet::Graph
- #postplaces — PetriNet::Transition
- #posttransitions — PetriNet::Place
- #preplaces — PetriNet::Transition
- #pretransitions — PetriNet::Place
- #probability_to_gv — PetriNet::Graph::Edge
- #pure? — PetriNet::Net
- #reachability_graph — PetriNet::Net
- #reachability_helper — PetriNet::Net
- #remove_marking — PetriNet::Place
- #reset — PetriNet::Base
- #s_invariant — PetriNet::Net
- #sanitize_probabilities — PetriNet::Graph
- #save — PetriNet::Net
- #set_marking — PetriNet::Place
- #set_markings — PetriNet::Net
- #shortest_path — PetriNet::Graph
- #t_invariants — PetriNet::Net
- #to_gv — PetriNet::Arc
- #to_gv — CoverabilityGraph::Node
- #to_gv — PetriNet::Graph
- #to_gv — PetriNet::Graph::Edge
- #to_gv — PetriNet::Graph::Node
- #to_gv — PetriNet::Net
- #to_gv — PetriNet::Place
- #to_gv — PetriNet::Transition
- #to_s — PetriNet::Arc
- #to_s — CoverabilityGraph::Node
- #to_s — PetriNet::Graph
- #to_s — PetriNet::Graph::Edge
- #to_s — PetriNet::Graph::Node
- #to_s — PetriNet::Marking
- #to_s — PetriNet::Net
- #to_s — PetriNet::Place
- #to_s — PetriNet::Transition
- #up_to_date — PetriNet::Net
- #update — PetriNet::Arc
- #update — PetriNet::Net
- #update? — PetriNet::Net
- #validate — PetriNet::Arc
- #validate — CoverabilityGraph::Edge
- #validate — CoverabilityGraph::Node
- #validate — PetriNet::Graph::Edge
- #validate — PetriNet::Graph::Node
- #validate — PetriNet::Marking
- #validate — PetriNet::Place
- #validate — ReachabilityGraph::Edge
- #validate — PetriNet::Transition
- #validate_input — PetriNet::Place
- #validate_input — PetriNet::Transition
- #validate_output — PetriNet::Place
- #validate_output — PetriNet::Transition
- #validate_source_destination — PetriNet::Arc
- #w0 — PetriNet::Net
- #worst_path — PetriNet::Graph