Deadlock resolution in automated manufacturing systems : a novel petri net approach (2009)