TimedTransition

class TimedTransition(self: stormpy.gspn.TimedTransition)

Bases: Transition

TimedTransition 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_number_of_servers(self: stormpy.gspn.TimedTransition) → int

Get number of servers

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

get_rate(self: stormpy.gspn.TimedTransition) → float

Get rate of this transition

has_infinite_server_semantics(self: stormpy.gspn.TimedTransition) → bool

Get semantics of this transition

has_k_server_semantics(self: stormpy.gspn.TimedTransition) → bool

Get semantics of this transition

has_single_server_semantics(self: stormpy.gspn.TimedTransition) → bool

Get semantics 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_infinite_server_semantics(self: stormpy.gspn.TimedTransition) → None

Set semantics of this transition

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_k_server_semantics(

self: stormpy.gspn.TimedTransition,

k: SupportsInt | SupportsIndex,

) → None

Set semantics of this transition

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

set_rate(

self: stormpy.gspn.TimedTransition,

rate: SupportsFloat | SupportsIndex,

) → None

Set rate of this transition

set_single_server_semantics(self: stormpy.gspn.TimedTransition) → None

Set semantics of this transition