State equations are usually used for structural or qualitative analysis. such as deadlock checking. in P/T systems. In this paper. https://jalyttlers.shop/product-category/dragon-teddy/