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 considering 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 are constructs of concurrent, cooperating and loose coupling objects, which main purpose is the incremental, formal and executable modeling and specification of complex distributed software systems, encouraging both software reuse and maintenance.