Modelling Example: Wheel

The TorXakis models captures a production process in which a wheel with four grabbers is uses to grab, check, and release items.