Text this: Optimising manufacturing schedule using petri net