Transition

class Transition(self: stormpy.gspn.Transition)

Bases: pybind11_object

Transition in a GSPN

exists_inhibition_arc(self: stormpy.gspn.Transition, place: stormpy.gspn.Place) → bool

Check whether the given place is connected to this transition via an inhibition arc.

exists_input_arc(self: stormpy.gspn.Transition, place: stormpy.gspn.Place) → bool

Check whether the given place is connected to this transition via an input arc.

exists_output_arc(self: stormpy.gspn.Transition, place: stormpy.gspn.Place) → bool

Check whether the given place is connected to this transition via an output arc.

fire(self: stormpy.gspn.Transition, marking)

Fire the transition if possible.

get_id(self: stormpy.gspn.Transition) → int

Get id of this transition

get_inhibition_arc_multiplicity(

self: stormpy.gspn.Transition,

place: stormpy.gspn.Place,

) → int

Returns the corresponding multiplicity.

get_inhibition_places(self: stormpy.gspn.Transition) → dict[int, int]

get_input_arc_multiplicity(

self: stormpy.gspn.Transition,

place: stormpy.gspn.Place,

) → int

Returns the corresponding multiplicity.

get_input_places(self: stormpy.gspn.Transition) → dict[int, int]

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

Get name of this transition

get_output_arc_multiplicity(

self: stormpy.gspn.Transition,

place: stormpy.gspn.Place,

) → int

Returns the corresponding multiplicity.

get_output_places(self: stormpy.gspn.Transition) → dict[int, int]

get_priority(self: stormpy.gspn.Transition) → int

Get priority of this transition

is_enabled(self: stormpy.gspn.Transition, marking) → bool

Check if the given marking enables the transition.

remove_inhibition_arc(self: stormpy.gspn.Transition, place: stormpy.gspn.Place) → bool

Remove an inhibition arc connected to a given place.

remove_input_arc(self: stormpy.gspn.Transition, place: stormpy.gspn.Place) → bool

Remove an input arc connected to a given place.

remove_output_arc(self: stormpy.gspn.Transition, place: stormpy.gspn.Place) → bool

Remove an output arc connected to a given place.

set_inhibition_arc_multiplicity(

self: stormpy.gspn.Transition,

place: stormpy.gspn.Place,

multiplicity: SupportsInt | SupportsIndex,

) → None

Set the multiplicity of the inhibition arc originating from the place.

set_input_arc_multiplicity(

self: stormpy.gspn.Transition,

place: stormpy.gspn.Place,

multiplicity: SupportsInt | SupportsIndex,

) → None

Set the multiplicity of the input arc originating from the place.

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

Set name of this transition

set_output_arc_multiplicity(

self: stormpy.gspn.Transition,

place: stormpy.gspn.Place,

multiplicity: SupportsInt | SupportsIndex,

) → None

Set the multiplicity of the output arc going to the place.

set_priority(

self: stormpy.gspn.Transition,

priority: SupportsInt | SupportsIndex,

) → None

Set priority of this transition