stormpy.gspn

API for Generalized Stochastic Petri Nets (GSPNs).

Makes the functionality of storm::gspn:: available.

Functions

build_jani_model(gspn, *[, automaton_name, ...])	Translate a GSPN into a JANI model.
export_gspn_pnml_file(gspn, path)	Export a GSPN to a file in the PNML format.
export_gspn_pnpro_file(gspn, path)	Export a GSPN to a file in the PNPRO format.
load_gspn_file(path, *[, constant_definitions])	Load a GSPN from a file in the PNML or PNPRO format.

Classes

GSPN(self, name, places, ...[, ...])	Generalized Stochastic Petri Net
GspnBuilder(self)	Builder for generalized stochastic Petri nets
ImmediateTransition(self)	ImmediateTransition in a GSPN
LayoutInfo(LayoutInfo)	Layout information (position and rotation) of a place or transition
Place(self, id)	Place in a GSPN
TimedTransition(self)	TimedTransition in a GSPN
Transition(self)	Transition in a GSPN
TransitionPartition(self)	Partition of transitions with the same priority