Index

_

__add__() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) __contains__() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) __eq__() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) __format__() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) __getitem__() (petritub.max_plus.Matrix method) (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.Matrix method) (petritub.min_plus.PrecedenceGraph method) __init__() (petritub.max_plus.Gantt method) (petritub.max_plus.Matrix method) (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.Matrix method) (petritub.min_plus.PrecedenceGraph method) __iter__() (petritub.max_plus.Matrix method) (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.Matrix method) (petritub.min_plus.PrecedenceGraph method)

__len__() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) __mul__() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) __pow__() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) __radd__() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) __rmul__() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) __setitem__() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) __str__() (petritub.max_plus.Matrix method) (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.Matrix method) (petritub.min_plus.PrecedenceGraph method)

A

add_edge() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) add_edges_from() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) add_node() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) add_nodes_from() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) add_weighted_edges_from() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

adj (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property) adjacency() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) adjlist_inner_dict_factory (petritub.max_plus.PrecedenceGraph attribute) (petritub.min_plus.PrecedenceGraph attribute) adjlist_outer_dict_factory (petritub.max_plus.PrecedenceGraph attribute) (petritub.min_plus.PrecedenceGraph attribute)

C

circuits() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) clear() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) clear_edges() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) closedLoop() (petritub.untimed_pn.PetriNet method) copy() (petritub.max_plus.Matrix method) (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.Matrix method) (petritub.min_plus.PrecedenceGraph method) CoverabilityTree (class in petritub.untimed_pn) critical() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

critical_circuits() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) critical_cycles() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) critical_edges() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) cyc() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) cycles() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) cyclicity() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method)

D

degree (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property) del_col() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) del_row() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method)

draw() (petritub.max_plus.Gantt method) (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) draw_critical() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) drawCoverabilityTree() (petritub.untimed_pn.PetriNet method)

E

edge_attr_dict_factory (petritub.max_plus.PrecedenceGraph attribute) (petritub.min_plus.PrecedenceGraph attribute) edge_subgraph() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) edges (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property)

eigenvalue() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) eigenvectors() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) eye() (petritub.max_plus.Matrix class method) (petritub.min_plus.Matrix class method)

F

fire() (petritub.untimed_pn.PetriNet method)

G

Gantt (class in petritub.max_plus) get_edge_data() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) getA_c() (petritub.untimed_pn.StateController method)

getStateController() (petritub.untimed_pn.PetriNet method) getx_c() (petritub.untimed_pn.StateController method) graph_attr_dict_factory (petritub.max_plus.PrecedenceGraph attribute) (petritub.min_plus.PrecedenceGraph attribute)

H

has_edge() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) has_node() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

has_predecessor() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) has_successor() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

I

in_degree (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property) in_edges (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property) is_directed() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) is_irreducible() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) is_multigraph() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

is_reducible() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) is_strongly_connected() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) isBounded() (petritub.untimed_pn.PetriNet method) isConservative() (petritub.untimed_pn.PetriNet method) isStateCovered() (petritub.untimed_pn.PetriNet method) isTransitionDead() (petritub.untimed_pn.PetriNet method)

M

Matrix (class in petritub.max_plus) (class in petritub.min_plus) matrix_cls (petritub.max_plus.PrecedenceGraph attribute) (petritub.min_plus.PrecedenceGraph attribute)

minor() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) msc_components() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

N

name (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property) nbunch_iter() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) neighbors() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) Node (class in petritub.untimed_pn) node_attr_dict_factory (petritub.max_plus.PrecedenceGraph attribute) (petritub.min_plus.PrecedenceGraph attribute)

node_dict_factory (petritub.max_plus.PrecedenceGraph attribute) (petritub.min_plus.PrecedenceGraph attribute) nodes (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property) number_of_edges() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) number_of_nodes() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

O

ones() (petritub.max_plus.Matrix class method) (petritub.min_plus.Matrix class method) oplus() (petritub.max_plus.Matrix class method) (petritub.min_plus.Matrix class method) order() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

otimes() (petritub.max_plus.Matrix class method) (petritub.min_plus.Matrix class method) out_degree (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property) out_edges (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property)

P

PetriNet (class in petritub.untimed_pn) plus() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) precedence_graph_cls (petritub.max_plus.Matrix attribute) (petritub.min_plus.Matrix attribute) PrecedenceGraph (class in petritub.max_plus) (class in petritub.min_plus)

pred (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property) predecessors() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) printLiveDeadTransitions() (petritub.untimed_pn.PetriNet method)

R

remove_edge() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) remove_edges_from() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) remove_node() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

remove_nodes_from() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) reverse() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

S

save() (petritub.max_plus.Gantt method) savefig() (petritub.max_plus.Gantt method) (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) savefig_critical() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) setInitialMarking() (petritub.untimed_pn.PetriNet method) size() (petritub.max_plus.Matrix method) (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.Matrix method) (petritub.min_plus.PrecedenceGraph method)

star() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) StateController (class in petritub.untimed_pn) strongly_connected_components() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) subgraph() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) succ (petritub.max_plus.PrecedenceGraph property) (petritub.min_plus.PrecedenceGraph property) successors() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

T

T() (petritub.max_plus.Matrix method) (petritub.min_plus.Matrix method) to_directed() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) to_directed_class() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) to_undirected() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

to_undirected_class() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method) tops() (petritub.max_plus.Matrix class method) (petritub.min_plus.Matrix class method) toString() (petritub.untimed_pn.StateController method) transpose() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

U

update() (petritub.max_plus.PrecedenceGraph method) (petritub.min_plus.PrecedenceGraph method)

Z

zeros() (petritub.max_plus.Matrix class method) (petritub.min_plus.Matrix class method)