Modelling Systems by Hybrid Petri Nets: an Application to Supply Chains