Operational Management of Supply Chains: a Hybrid Petri Net Approach