Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets