Linear programming techniques for the identification of place/transition nets