Text this: Real time monitoring and controlling using Petri net algorithm for batch process plant / Mohamad Shaiful Osman