Object oriented approach for cane sugar production: modelling and analysis

This paper introduces a new approach for the modelling and verification of behaviour properties in complex industrial plants that are hybrid in nature. It is based on Petri nets to represent the discrete view and differential equations to describe the continuous part. The object-oriented concepts are used to provide modularity and handle system complexity. With respect to the system analysis, the object-oriented structure allows a global analysis problem with a number of objects to be divided, into a set of local problems involving one or a few objects only. The proposed approach is applied to a cane sugar factory.