Structurally Safe Net Systems

Linear descriptions of the set of reachable markings are used in conjunction with linear algebraic techniques to analyze properties of net systems, avoiding the state explosion problem. But they have a major problem: the spurious solutions. On the contrary of the general case, for Structurally Safe Net Systems it is always possible to remove all the spurious solutions. We develop the theory for this class, and present also an alternative approach to the classical linear descriptions based on the codification of the linear description itself.