Petri net modelling on the behavior of object invocations in distributed object-oriented systems

Object-oriented programming, which treats objects as processes in execution, has shown significant effectiveness in distributed systems. To measure this effectiveness, a modelling technique is required. However, contemporary techniques for modelling processes are not fully satisfactory for object-oriented computation. Therefore, an appropriate analytical model is necessary. The authors propose an analytical model based on the coloured generalized stochastic Petri net (CGSPN) theory. This model can be used to analyze the behaviour of object invocations in a distributed manner. It also provides guidelines for the design of an effective object assignment strategy.