In: Proceedings of the International Symposium on the Mathematical Theory of Networks and Systems, Kobe, Japan, pages 413-415. 1991.
Abstract: One of the indigenous techniques for the analysis of Petri Net system models is based on its non-negative state equation, bridging convex goemetry and linear programming theories to the theory of Petri Nets. This invited survey briefly overviews some recent developments in the use of linear algebraic techniques for the qualitative (i.e., logical) and quantitative (i.e., performance) analysis of Petri Net system models, dealing with properties like deadlock-freeness, structural liveness or throughput bounds.