Emission control in rotary kiln limestone calcination using Petri net models