Text this: Design of an integrated automation and control system using Petri nets: case study