Place¶

class Place(self: stormpy.gspn.Place, id: SupportsInt | SupportsIndex)¶

Bases: pybind11_object

Place in a GSPN

get_capacity(self: stormpy.gspn.Place) → int¶: Get the capacity of tokens of this place

get_id(self: stormpy.gspn.Place) → int¶: Get the id of this place

get_name(self: stormpy.gspn.Place) → str¶: Get name of this place

get_number_of_initial_tokens(self: stormpy.gspn.Place) → int¶: Get the number of initial tokens of this place

has_restricted_capacity(self: stormpy.gspn.Place) → bool¶: Is capacity of this place restricted

set_capacity( self: stormpy.gspn.Place, capacity: SupportsInt | SupportsIndex | None, ) → None¶: Set the capacity of tokens of this place

set_name(self: stormpy.gspn.Place, name: str) → None¶: Set name of this place

set_number_of_initial_tokens( self: stormpy.gspn.Place, tokens: SupportsInt | SupportsIndex, ) → None¶: Set the number of initial tokens of this place