A Petri net based methodology for modelling, analysis, demand forecast and optimal planning of batch production systems.