Dynamic process planning for an FMS based on Petri net model