Linear programming techniques for analysis and control of batches Petri nets