GSPN

class GSPN(

self: stormpy.gspn.GSPN,

name: str,

places,

immediate_transitions,

timed_transitions,

partitions,

expression_manager: stormpy.expressions.ExpressionManager,

constants_substitution: collections.abc.Mapping[stormpy.expressions.Variable, stormpy.expressions.Expression] = {},

)

Bases: pybind11_object

Generalized Stochastic Petri Net

get_immediate_transition(self: stormpy.gspn.GSPN, name: str)

Returns the immediate transition with the corresponding name

get_immediate_transitions(self: stormpy.gspn.GSPN)

Returns the immediate transitions of this GSPN.

Return type:

list[stormpy.gspn.ImmediateTransition]

get_initial_marking(

self: stormpy.gspn.GSPN,

arg0: collections.abc.Mapping[SupportsInt | SupportsIndex, SupportsInt | SupportsIndex],

arg1: SupportsInt | SupportsIndex,

)

Computes the initial marking of this GSPN

get_name(self: stormpy.gspn.GSPN) → str

Get name of GSPN

get_number_of_immediate_transitions(self: stormpy.gspn.GSPN) → int

Get the number of immediate transitions in this GSPN

get_number_of_places(self: stormpy.gspn.GSPN) → int

Get the number of places in this GSPN

get_number_of_timed_transitions(self: stormpy.gspn.GSPN) → int

Get the number of timed transitions in this GSPN

get_partitions(self: stormpy.gspn.GSPN)

Get the partitions of this GSPN

get_place(id: SupportsInt | SupportsIndex)

get_place(name: str)

Returns the place with the corresponding id.

param uint64_t id:

The ID of the place.

rtype:

stormpy.gspn.Place

get_places(self: stormpy.gspn.GSPN)

Returns a vector of the places of this GSPN.

Return type:

list[stormpy.gspn.Place]

get_timed_transition(self: stormpy.gspn.GSPN, name: str)

Returns the timed transition with the corresponding name

get_timed_transitions(self: stormpy.gspn.GSPN)

Returns a vector of the timed transitions of this GSPN.

Return type:

list[stormpy.gspn.TimedTransition]

get_transition(self: stormpy.gspn.GSPN, name: str)

Returns the transition with the corresponding name

static immediate_transition_id_to_transition_id(

arg0: SupportsInt | SupportsIndex,

) → int

is_valid(self: stormpy.gspn.GSPN) → bool

Perform some checks

set_name(self: stormpy.gspn.GSPN, name: str) → None

Set name of GSPN

static timed_transition_id_to_transition_id(arg0: SupportsInt | SupportsIndex) → int

static transition_id_to_immediate_transition_id(

arg0: SupportsInt | SupportsIndex,

) → int

static transition_id_to_timed_transition_id(arg0: SupportsInt | SupportsIndex) → int