State equations are usually used for structural or qualitative analysis. such as deadlock checking. in P/T systems. In this paper. https://www.hacklinkci.com/