期刊名称：International Journal of Innovative Research in Science, Engineering and Technology
印刷版ISSN：2347-6710
电子版ISSN：2319-8753
出版年度：2015
期号：MULTICON
页码：141
出版社：S&S Publications
摘要：The Algebraic representation of polyhedral sets is an alternative tool for the analysis of structural andlocal properties of Petri nets. Some aspects of the issues of reachability, boundedness of a net are analysed andcharacterized by the means of linear system of inequalities. In most cases, the structural analysis techniques such aslinear programming based technique instead of integer programming can be used to check these properties thereforeenabling the validation of very large nets.
