Modelling of high throughput production lines by using generic models described in batches Petri nets | IEEE Conference Publication | IEEE Xplore