Autonomous components within electric power systems can be successfully specified by interpreted Petri nets. Such a formal specification makes it possible to check some basic properties of the models. such as determinism or deadlock freedom. In this paper. https://thegreensjunglebeautyshops.shop/product-category/dry-shampoo/