A Petri net based methodology for modelling, analysis, demand forecast and optimal planning of batch production systems | IEEE Conference Publication | IEEE Xplore