Loading [MathJax]/extensions/MathMenu.js
Linear programming techniques for the identification of place/transition nets | IEEE Conference Publication | IEEE Xplore

Linear programming techniques for the identification of place/transition nets


Abstract:

In previous works we presented a procedure based on integer programming to identify a Petri net, given a finite prefix of its language. In this paper we show how to tackl...Show More

Abstract:

In previous works we presented a procedure based on integer programming to identify a Petri net, given a finite prefix of its language. In this paper we show how to tackle the same problem using linear programming techniques, thus significantly reducing the complexity of finding a solution. The procedure we propose identifies a net whose number of places is equal to the cardinality of the set of disabling constraints. We provide a criterion to check if the computed solution has a minimal number of places, and, if such is not the case, we discuss two approaches to reduce this number.
Date of Conference: 09-11 December 2008
Date Added to IEEE Xplore: 06 January 2009
ISBN Information:
Print ISSN: 0191-2216
Conference Location: Cancun, Mexico

References

References is not available for this document.