Work flow system based on classical WF-Net properties