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