A methodology of studying and designing scheduling control algorithms and the Petri-net supervisor implementing them for a robotised FMS has been developed. It is of analytic-simulation type, the analytic part, using Petri-net modelling and the simulation part using animation. It makes visually tangible the FMS processes and reveals inconsistency as error in the derived scheduling control algorithms.
展开▼