Using linear programming in Petri net analysis

The algebraic representation of polyhedral sets is an alternative tool for the analysis of structural and local properties of Petri nets. Some aspects of the issues of reachability, boundness and liveness of a net are analyzed and characterized by the means of linear system of inequalities. In most cases, linear programming instead of integer programming can be used to check these properties therefore enabling the validation of very large nets