A Flexible Distributed Simulator for Object-Oriented Petri Nets

. Petri nets have been used to model and analyse distributed systems. Highlevel nets such as coloured nets and object-oriented nets increase the descriptive power by allowing the tokens which flow through the net to be associated with arbitrary data values. Algorithms have been specified for the distributed simulation of simple petri nets on a set of transputers. This paper considers the extension of these algorithms for high-level nets and discusses the problems involved in achieving a fair implementation. 1. Introduction Petri nets have been used to model and analyse distributed systems [7] , [8] , [13] . High-level nets, such as coloured nets and object-oriented nets, increase the descriptive power by allowing the tokens which flow through the net to be associated with arbitrary data values, and to be individually identified by these values [1] , [2] , [8] . LOOPN, a language for object-oriented petri nets, was developed to incorporate the object-oriented features of inheritance an..