An object based Petri net model application to manufacturing systems

With the increasing number and complexity of the resources in computer based systems, e.g, manufacturing systems, it is more and more important to rely on formal methods to model the components of such systems using an object based approach. The motivation to do so is to introduce structuring mechanisms in order to better manage the complexity of such systems. In this work we introduce an object based Petri net with its foundation on coloured Petri nets and G-Nets. G-CPN systems consist of concurrent, cooperating and loose coupling objects, whose main purpose is to deal with the incremental, formal and executable modeling and specifications of complex distributed software systems, encouraging both software reusability and maintenance